Disable tests that are known to be non-deterministic in --verify-predictable mode.

test/mjsunit/mjsunit.status

Index: test/mjsunit/mjsunit.status
diff --git a/test/mjsunit/mjsunit.status b/test/mjsunit/mjsunit.status
index 7be85df372eca8bb4e9844fafc7a805a47f5be70..4e59a6c15ad1074308e53599e903bfbe04ccf5c4 100644
--- a/test/mjsunit/mjsunit.status
+++ b/test/mjsunit/mjsunit.status
@@ -681,6 +681,13 @@
 }],  # 'deopt_fuzzer == True'
 
 ##############################################################################
+['predictable == True', {
+
+  # Skip tests that are known to be non-deterministic.
+  'd8-worker-sharedarraybuffer': [SKIP],
+}],  # 'predictable == True'
+
+##############################################################################
 ['arch == ppc and simulator_run == True or arch == ppc64 and simulator_run == True', {
 
   # take too long with the simulator.