> The code that orders blocks for output should not make assumptions about the shape of the CFG, IMO.

I very much agree with this but notice that technically this function is doing it already if I am not mistaken. Following the b_next pointers in the first for loop already relies on the topological order in which they were emitted.