Update quickcheck docs