Adiciona suporte ao QuickCheck no framework Tasty
