Add option to show representation of generated arguments when using @property-test-generator
When @property-test-generator
is used, counter-examples contain a string representation of the argument of the generator. In some cases (e.g., using an integer to pick a value from a list), it is preferable to show a representation of the generated argument instead. This should be an option on the test generator.