verbose log the assertion