So after all those steps, it is actually compiled native code that you run?

Yes, but the code portion of the executable is really the Janet interpreter, while your code lives in the data segment and is not in the native form.