removing quickcheck from README