DEBUG EVALUATE: Use output_log() instead of printf().

DEBUG EVALUATE: Use output_log() instead of printf().

I found that with upcoming changes to the output engine, the relative
ordering of output from printf() and from the output engine changed.  This
commit makes it all go through the output engine, which keeps it
consistent as the output engine changes.