Add diagnostics when a validator returns false but does not call appendMessage()

See #1664