And add two convenience methods for setting a value at the same time as
calling a transition:

- verification_succeeded_with_checksum!
- verification_failed_with_message!