TopoSort: Print progress in the second phase

The first phase (listing leaves) already did, but the second phase takes much longer and didn't have progress reporting

Will be useful for #4747 (closed) as it requires a full toposort (not just ori/snp/rel/rev like previous ones)