Editorial: Alternative wording for deferred DFS sort

[guybedford]

This provides an alternative wording to making AsyncEvaluation an explicitly ordered field, by instead more generally referencing the original DFS ordering.

This ordering is clearly defined for a given module as the first InnerModuleEvaluation call for a given module that causes the evaluation state transition on that module.

I've kept the note that AsyncEvaluation's transition can be seen to be that same ordering, but then no longer treating that as the definition itself but rather just a note for verification / implementation.

[codehag]

I don't have any issues, but I found the previous version easier to model conceptually. This has switched from intention to how it works mechanically, which I think is less preferable. I think the intention was more important.

[codehag]

I believe we will stick with the current wording.