throw exceptions with better messages and more diagnostic information

[mvollebregt]

For example:

• if verification failed, show the best match that WAS recorded
• if a when/with-clause threw an exception, catch the exception but embed it in the verification exception