Add a lower bound for QuickCheck #12
Version bump