Clarify the verify example
Message signature verification tests