tweaking the compiler to avoid building enormous strings.

We do this by making the TraceMonad directly output its results
to stderr.