Add quickcheck to repo