revises the release notes about message verifiers (second take) [ci skip]