Add documentation to MessageVerifier

[ci skip]

Complements #17727 and closes ee73d9ff8.

@lleger How do you feel about this?