Support "QuickCheck >= 2.5" instead of "QuickCheck >= 2.7" #12
Fix a couple which could take a very long time to finish