Features from optional dependencies

quickcheck implicit feature

Enables quickcheck

quickcheck:

Automatic property based testing with shrinking