proptest 0.9.1

Hypothesis-like property-based testing and shrinking.