Bump (to 2.5) the required version of QuickCheck for testing.