Add support for QuickCheck Mini