Gate names included with transition matrices.
Way to compute dynamic energy given transition and energy matrices.
Added tmat model to arithmetic example.