Make travis builds work again

QuickCheck 2.7 broke it, so we need a tighter upper bound (already fixed in the .cabal file)