Adds failing test for Message.verifyMessage