Better validation that values aren't moving between blocks.
Trap without fragmenting blocks.
Fix potential heap corruption in code cache.
String buffer using std::vector (and fixing an allocation bug).
Move cr update to StoreRelease - prevents extra block.
Reset CFG edge tracking on re-run.
Prevent context promotion across instructions marked volatile.
Marking branches/calls as volatile.