Introduce SimpleStatefulDepthFirstVisitor.

StatefulDepthFirstVisitor was overkill for...umm, everything. This is a
better baseline.
Test reachability correctly on DepthFirstBasicVisitor.
Assorted docs and annotation fixups.