Add tests using QuickCheck.