Add documentation to MessageVerifier

[ci skip]

Complements #17727 and closes ee73d9ff8.

@lleger @rafaelfranca  How do you feel about this?
Think there's a typo here:

> …if the message [was] not signed with…