Proptest: Property-based testing for Rust (inspired by Hypothesis)