upgrade quickcheck to 2.7