Bump QuickCheck lower version bound down to 2.5.
Merge branch 'master' of https://github.com/giogadi/kdt