Checker-specific logging.

New debug level 32, for logging tracing checkers.
New method checker.log().
Cleanup.