Use HUnit assertions as QuickCheck properties