Reporting refactor, part 4: rename .doLog() to .dispatch()

This method is now private, and .dispatch() is a better name: according to the
log level, it will either be discarded completely, go through log(), or raise an
exception.