Add example as Cabal test suite
Tests print QuickCheck tidied output on failure