Relax assumption abuot [[CycleRoot]] being a module on evaluated module

Author: nicolo-ribaudo

spec.html

@@ -27198,7 +27198,11 @@ <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. If _module_.[[CycleRoot]] is not ~empty~, then
+                  1. Set _module_ to _module_.[[CycleRoot]].
+                1. Else,
+                  1. Assert: _module_.[[Status]] is ~evaluated~, _module_.[[EvaluationError]] is a throw completion ~empty~, and _module_.[[TopLevelCapability]] is not ~empty~.
               1. If _module_.[[TopLevelCapability]] is not ~empty~, then
                 1. Return _module_.[[TopLevelCapability]].[[Promise]].
               1. Let _stack_ be a new empty List.