Minor assert message updates in Asserter