adding a test file, learning about QuickCheck