Keeping failure details in ScalaCheck properties