Remove redundant information in failure messages

[zainab-ali]

This changeset reduces the verbosity of scalacheck failures, and general failures, by removing redundant information

• The source location of an error is currently rendered twice: once on the first line of the error, and again when pointing to the source code. This can be noisy when the source file path is long.
• For scalacheck failures, the seed is rendered twice
• For scalacheck failures, inputs are rendered on a single line. This is difficult to read when inputs have long string representations.

Change

• The source location on the first line has been removed from all errors
• The scalacheck seed on the first line has been removed
• scalacheck inputs are rendered on separate lines

Scalacheck message before

Scalacheck message after

Expectation failure before

Expectation failure after