Show transition count in highlighted graph.

This requires a change in attribute order when outputting the original .dot graph to make it easier to recognise the edge labels.