Modify exn:test:check to support prop:exn:srclocs to produce good error messages even without debugging enabled.

Closes PR-13451.