revises the release notes about message verifiers [ci skip]

Example code does not run yet with beta1.