Add IR tracer and formatter to interpreter