Remove dumb_println

After #10965, which introduces no-context printing, this is no longer needed.

This PR changes the usage sites of dumb_println to just use println_args, which
passes all tests. However, I don't know enough about the intricacies of this
issue to know if this is a satisfactory replacement, even with #10965.

Fixes #11043