DatesRole: improve testing on regex/parse mismatch.

Some added tests for places where the string passes the regex "maybe it
looks like a date" test, but is not, in fact able to be parsed by the
engine.

Plus, a bit more diagnostic info output for provers.