Enables proptest
proptest: Hypothesis-like property-based testing and shrinking
Hypothesis-like property-based testing and shrinking