Add 'assertions' format to highlight-transitions.

In addition to highlighting .dot files, we often want to summarise information such as "how many times did each assertion fire".