Make `cabal test` work

Apparently QuickCheck doesn't exit on failure by itself.