Copy-edit the MessageVerifier documentation [ci skip]