Update .travis.yml to disallow QuickCheck 2.7