Normative: [[IsLockFree8]] also must be consistent (#3700)

Author: michaelficarra

spec.html

@@ -12186,10 +12186,10 @@ <h1>Agents</h1>
       </table>
     </emu-table>
 
-    <p>The values of [[LittleEndian]], [[Signifier]], [[IsLockFree1]], and [[IsLockFree2]] cannot change.</p>
+    <p>The values of [[LittleEndian]], [[Signifier]], [[IsLockFree1]], [[IsLockFree2]], and [[IsLockFree8]] cannot change.</p>
 
     <emu-note>
-      <p>The values of [[IsLockFree1]] and [[IsLockFree2]] are not necessarily determined by the hardware, but may also reflect implementation choices that can vary over time and between ECMAScript implementations.</p>
+      <p>The values of [[IsLockFree1]], [[IsLockFree2]], and [[IsLockFree8]] are not necessarily determined by the hardware, but may also reflect implementation choices that can vary over time and between ECMAScript implementations.</p>
 
       <p>There is no [[IsLockFree4]] field: 4-byte atomic operations are always lock-free.</p>
 
@@ -12264,7 +12264,7 @@ <h1>Agent Clusters</h1>
       <p>If different agents within an agent cluster have different values of [[LittleEndian]] it becomes hard to use shared memory for multi-byte data.</p>
     </emu-note>
 
-    <p>All agents within a cluster must have the same values for the [[IsLockFree1]] field in their respective Agent Records; similarly for the [[IsLockFree2]] field.</p>
+    <p>All agents within a cluster must have the same values for the [[IsLockFree1]] field in their respective Agent Records; similarly for the [[IsLockFree2]] and [[IsLockFree8]] fields.</p>
 
     <p>All agents within a cluster must have different values for the [[Signifier]] field in their respective Agent Records.</p>