relax version bound for QuickCheck