Lower the required versions of quickcheck2 and test-framework, in the
hope that this will make Travis-CI happy...