Update quickcheck.