[turbofan] Add --csa-verify flag that enables machine graph verification of code stubs.

src/ic/accessor-assembler.cc

Index: src/ic/accessor-assembler.cc
diff --git a/src/ic/accessor-assembler.cc b/src/ic/accessor-assembler.cc
index 3c20239fe921f724f5feaefc8cd9dab002b3c5e0..70538981cdbb5c39c0741a561001dd601bf3aa8c 100644
--- a/src/ic/accessor-assembler.cc
+++ b/src/ic/accessor-assembler.cc
@@ -635,10 +635,11 @@ void AccessorAssemblerImpl::HandleStoreICSmiHandlerCase(Node* handler_word,
   if (transition) {
     CSA_ASSERT(
         this,
-        WordOr(WordEqual(handler_kind,
-                         IntPtrConstant(StoreHandler::kTransitionToField)),
-               WordEqual(handler_kind,
-                         IntPtrConstant(StoreHandler::kTransitionToConstant))));
+        Word32Or(
+            WordEqual(handler_kind,
+                      IntPtrConstant(StoreHandler::kTransitionToField)),
+            WordEqual(handler_kind,
+                      IntPtrConstant(StoreHandler::kTransitionToConstant))));
   } else {
     CSA_ASSERT(this, WordEqual(handler_kind,
                                IntPtrConstant(StoreHandler::kStoreField)));