Update quickcheck for new Rust.