Optimise Digraph.postOrd, used when finding strongly connected components