Introduce test suite runner using QuickCheck