whitehole/infra/graph: Introduce dominance graph and tree building
algorithms.