proptest 0.9.4

Hypothesis-like property-based testing and shrinking.