Simple QuickCheck test framework to reduce necessary boilerplate