Automated property based testing for Rust (fork of quickcheck) - View it on GitHub