Initial commit of quickcheck