Added check where we assume bidirectional reachability, and debug message pointing out statistics about the run.
Disabled debug messages by default (<notice). Makes running unit tests bit less painful.