update tests to quickcheck >= 2.7