Initial commit for QuickCheck tests