Asserções semelhantes ao HUnit para o QuickCheck
