Hypothesis-like property-based testing and shrinking for Rust, generating random test cases and minimizing failures.