Add assertion per Guy's review

Author: nicolo-ribaudo

spec.html

@@ -27195,6 +27195,7 @@ <h1>
                 1. For each ModuleRequest Record _request_ of _module_.[[RequestedModules]], do
                   1. Let _requiredModule_ be GetImportedModule(_module_, _request_).
                   1. Let _childSccAncestorIndex_ be ? InnerModuleLinking(_requiredModule_, _stack_).
+                  1. Assert: Assert: If _requiredModule_ is not a Cyclic Module Record or _requiredModule_.[[Status]] is not ~linking~, then _sccAncestorIndex_ &lt; _childSccAncestorIndex_.
                   1. Set _sccAncestorIndex_ to min(_sccAncestorIndex_, _childSccAncestorIndex_).
                   1. Assert: If _requiredModule_ is a Cyclic Module Record, _requiredModule_.[[Status]] is one of ~linking~, ~linked~, ~evaluating-async~, or ~evaluated~.
                   1. Assert: If _requiredModule_ is a Cyclic Module Record, _requiredModule_.[[Status]] is ~linking~ if and only if _stack_ contains _requiredModule_.
@@ -27286,6 +27287,7 @@ <h1>
                 1. For each ModuleRequest Record _request_ of _module_.[[RequestedModules]], do
                   1. Let _requiredModule_ be GetImportedModule(_module_, _request_).
                   1. Let _childSccAncestorIndex_ be ? InnerModuleEvaluation(_requiredModule_, _stack_).
+                  1. Assert: If _requiredModule_ is not a Cyclic Module Record or _requiredModule_.[[Status]] is not ~evaluating~, then _sccAncestorIndex_ &lt; _childSccAncestorIndex_.
                   1. Set _sccAncestorIndex_ to min(_sccAncestorIndex_, _childSccAncestorIndex_).
                   1. If _requiredModule_ is a Cyclic Module Record, then
                     1. Assert: _requiredModule_.[[Status]] is one of ~evaluating~, ~evaluating-async~, or ~evaluated~.