Support QuickCheck-2.16, release quickcheck-lockstep-0.8.1#41

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

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