Features from optional dependencies

proptest implicit feature

Enables proptest

proptest:

Hypothesis-like property-based testing and shrinking