Add quickcheck.