JIT: flush *after* the merged branch, not before

More correct and should avoid lots of redundant stores.
Merge pull request #822 from FioraAeterna/integerflush2

JIT: flush *after* the merged branch, not before