Update quickcheck to fix compile