Move QuickCheck tests to test dir