[spec] Printing of spec problems buries the failing predicate which should be more prominent

After CLJ-2376, you might see an error like this:

This puts the spec (long, not initially relevant) before the predicate which is more important.

1.9 spec problem line format:

Proposed: Put value and pred first and if there is an internal "reason" that should take precedence.

Proposed format:

Example afterwards:

Patch: clj-2391-3.patch