Don't walk the graph a second time.


The second search seems to always be at least as fast, or possibly faster than
the first search. However, I've never tripped the assertions, so the walking
is doing a proper job of always finding truly superfluous start keys.