MzScheme does have a JIT compiler that produces machine code. One of the reasons to use the recent version (372) is that in version 370 it switched to a precise GC which is faster and more stable. (BTW, Chicken compiles to machine code when used in batch mode.)