Implement permutation of graphs by topological levels

TLS and TLS64 definitely benefit from it, but not by much.
Would need application of the reverse permutation to produce correct output.