quickcheck, version bump