cannon: Robust STF verification

[Inphi]

The cannon-stf-verify job compares the latest cannon STF against an earlier version of cannon. However, this test doesn't detect changes to intermediate state transitions that eventually converge on the same behavior.

The goal of this ticket is to create a more robust stf comparison check. For example, by comparing each state transition instead, rather than the last one in the trace.

The Cannon CLI provides options to dump every post-state when executing a program. This is inefficient in terms of disk used, so it'll be prudent to figure out ways to minimize disk usage for the comparison.