Automated property based testing for Rust (with shrinking). - View it on GitHub