Ensure all evaluated modules have a [[CycleRoot]]

Author: nicolo-ribaudo

spec.html

@@ -27198,7 +27198,9 @@ <h1>Evaluate ( ): a Promise</h1>
             <emu-alg>
               1. Assert: This call to Evaluate is not happening at the same time as another call to Evaluate within the surrounding agent.
               1. Assert: _module_.[[Status]] is one of ~linked~, ~evaluating-async~, or ~evaluated~.
-              1. If _module_.[[Status]] is either ~evaluating-async~ or ~evaluated~, set _module_ to _module_.[[CycleRoot]].
+              1. If _module_.[[Status]] is either ~evaluating-async~ or ~evaluated~, then
+                1. Assert: _module_.[[CycleRoot]] is not ~empty~.
+                1. Set _module_ to _module_.[[CycleRoot]].
               1. If _module_.[[TopLevelCapability]] is not ~empty~, then
                 1. Return _module_.[[TopLevelCapability]].[[Promise]].
               1. Let _stack_ be a new empty List.
@@ -27211,6 +27213,7 @@ <h1>Evaluate ( ): a Promise</h1>
                   1. Assert: _m_.[[AsyncEvaluationOrder]] is ~unset~.
                   1. Set _m_.[[Status]] to ~evaluated~.
                   1. Set _m_.[[EvaluationError]] to _result_.
+                  1. Set _m_.[[CycleRoot]] to _m_.
                 1. Assert: _module_.[[Status]] is ~evaluated~.
                 1. Assert: _module_.[[EvaluationError]] and _result_ are the same Completion Record.
                 1. Perform ! Call(_capability_.[[Reject]], *undefined*, « _result_.[[Value]] »).