Bring in some of the changes from graph_update and graph_optimization

_BreadthFirstSearcher.find_seen_ancestors takes a list/set instead of a single node.
find_difference() is still broken, but mostly just in ways that it was already broken.