Add a small QuickCheck suite