haskell SmallCheck support for the Tasty test framework. feuerbach/tasty