Use a slightly more abstract type for state machine entry points,
rather than just a raw std::pair.
Unbreak one of the test programs.
Include the RSP canonicalisation offset in generated crash summaries
and state machines, because it's kind of necessary to generate correct
enforcers.
Plumb the RSP delta stuff all the way through to the CEP interpreter.
Completely new SSA conversion algorithm.  This is a little bit faster,
and, more importantly, generates far fewer superfluous phi nodes,
making phi elimination much easier.
Interning the CFG is pretty expensive, and, except for the first time
it's run, is a complete no-op.  Tweak things so that we only ever have
to do it once.