Display assertions in reports, close #1057