[compiler,modules] Introduce JS operators for module loads and stores.

src/compiler/verifier.cc

Index: src/compiler/verifier.cc
diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc
index 6552654cf37b171738a3b4574027605a07d49578..43c6ef2df86a3b8c4969d4c3f8e7ca8e9c208080 100644
--- a/src/compiler/verifier.cc
+++ b/src/compiler/verifier.cc
@@ -660,6 +660,13 @@ void Verifier::Visitor::Check(Node* node) {
     case IrOpcode::kJSStoreMessage:
       break;
 
+    case IrOpcode::kJSLoadModule:
+      CheckTypeIs(node, Type::Any());
+      break;
+    case IrOpcode::kJSStoreModule:
+      CheckNotTyped(node);
+      break;
+
     case IrOpcode::kJSGeneratorStore:
       CheckNotTyped(node);
       break;