Refactor bodies of call/invoke instructions
Abstract out the JIT tracer/compiler dispatcher