Add the claim name to error messages produced by ClaimValueIs() (#1347)

* Include the name of the claim in the error message produced by a `ClaimValueIs()` failure.

* Fix testable example in `examples` module.

Author: jmalloc