QuickCheck bug hunting in Rust standard library data structures - View it on GitHub