Add a few missing recursive calls to the pretty printing visitor.

At two sites, we had buffer.write(x) instead of visit(x).  This will
use the analyzer's own toString() on x instead of the pretty printer.