rebase fixes

spec.html

@@ -683,7 +683,7 @@ <h1><ins>AsyncModuleExecutionFulfilled ( _module_ )</ins></h1>
         1. Let _execList_ be a new empty List.
         1. Perform ! GatherAsyncParentCompletions(_module_, _execList_).
         1. Let _sortedExecList_ be a List of elements that are the elements of _execList_, in the order in which they had their [[AsyncEvaluating]] fields set to *true* in InnerModuleEvaluation.
-        1. Assert: All elements of _sortedExecList_ have the [[AsyncEvaluating]] field set to *true*, [[PendingAsyncDependencies]] set to 0 and [[EvaluationError]] set to *undefined*.
+        1. Assert: All elements of _sortedExecList_ have their [[AsyncEvaluating]] field set to *true*, [[PendingAsyncDependencies]] field set to 0 and [[EvaluationError]] field set to *undefined*.
         1. For each Module _m_ of _sortedExecList_, do
           1. If _m_.[[AsyncEvaluating]] is *false*, then
             1. Assert: _m_.[[EvaluatingError]] is not *undefined*.
@@ -713,6 +713,7 @@ <h1><ins>AsyncModuleExecutionRejected ( _module_, _error_ )</ins></h1>
         1. For each Module _m_ of _module_.[[AsyncParentModules]], do
           1. Perform ! AsyncModuleExecutionRejected(_m_, _error_).
         1. If _module_.[[TopLevelCapability]] is not *undefined*, then
+          1. Assert: _module_.[[CycleRoot]] is equal to _module_.
           1. Assert: _module_.[[DFSIndex]] is equal to _module_.[[DFSAncestorIndex]].
           1. Perform ! Call(_module_.[[TopLevelCapability]].[[Reject]], *undefined*, &laquo;_error_&raquo;).
         1. Return *undefined*.