> since you have to inspect all cells to decide the order in which to evaluate them

I don’t think this is true; evaluation order of a cell with no dependencies or whose dependencies are already resolved shouldn’t matter