Get rid of quickcheck stuff for now