Add quickcheck project