opt: new JIT optimizations, WIP