Comment EnsureEvaluated more; use a per-Loader WeakMap to express the "should-be-evaluated-before" relation, which I think the spec will call module.[[Dependencies]] or something.