Adding some utilities and slow progress on strongly connected.
Fixing a minor bug with the last commit.
Getting rid of one of the failure modes of BackwardTraversal.