Revert^2 "ART: Remove workaround in verifer after Jack update."

This reverts commit 7f7a074875114d0376923460948eb94eabaffe29.

Bug: 33099829
Test: art/test.py --host
diff --git a/runtime/verifier/method_verifier.cc b/runtime/verifier/method_verifier.cc
index 312d8df..b39985e 100644
--- a/runtime/verifier/method_verifier.cc
+++ b/runtime/verifier/method_verifier.cc
@@ -3994,13 +3994,10 @@
   /* caught by static verifier */
   DCHECK(is_range || expected_args <= 5);
 
-  // TODO(oth): Enable this path for invoke-polymorphic when b/33099829 is resolved.
-  if (method_type != METHOD_POLYMORPHIC) {
-    if (expected_args > code_item_->outs_size_) {
-      Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid argument count (" << expected_args
-                                        << ") exceeds outsSize (" << code_item_->outs_size_ << ")";
-      return nullptr;
-    }
+  if (expected_args > code_item_->outs_size_) {
+    Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid argument count (" << expected_args
+                                      << ") exceeds outsSize (" << code_item_->outs_size_ << ")";
+    return nullptr;
   }
 
   /*