In Tarjan, add rev_topological_iter to iterate SCCs in reverse topological ordering

This is used by the new implementation of --list-errors to compute lookahead classes as a backward data-flow problem.