Add low-level trace option for printing the compiled form of the current goal to the `debugger` tool