added a verbose message to an assertion