Support QuickCheck-2.17, release quickcheck-lockstep-0.8.2#42

jorisdral merged 1 commit intomainwell-typed/quickcheck-lockstep:mainfrom

jdral/quickcheck-2.17well-typed/quickcheck-lockstep:jdral/quickcheck-2.17Copy head branch name to clipboard