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

More correct and should avoid lots of redundant stores.