[MLIR] Restore dropped error message to fix test failures from PR llvm#160331

PR llvm#160331 introduced a mistake that removed the error message for generate-runtime-verification
pass, leading to two test failures during `check-mlir` build.

This patch restores the missing error message, resolving the failures. Verified locally.

Fixes post-merge regression from: llvm#160331

Author: HanchengWu

mlir/lib/Transforms/GenerateRuntimeVerification.cpp

@@ -51,9 +51,11 @@ class DefaultErrMsgGenerator {
     stream << "ERROR: Runtime op verification failed\n";
     if (vLevel == 1) {
       op->print(stream, state);
-      stream << "\n";
+      stream << "\n^ " << msg;
+      stream << "\nLocation: ";
+    } else{
+      stream << "^\nLocation: ";
     }
-    stream << "^\nLocation: ";
     op->getLoc().print(stream);
     return buffer;
   }

mlir/test/Dialect/Linalg/henry.mlir

@@ -0,0 +1,29 @@
+// RUN: mlir-opt %s -generate-runtime-verification \
+// RUN:     -expand-strided-metadata \
+// RUN:     -test-cf-assert \
+// RUN:     -convert-to-llvm | \
+// RUN: mlir-runner -e main -entry-point-result=void \
+// RUN:     -shared-libs=%mlir_runner_utils 2>&1 | \
+// RUN: FileCheck %s
+
+// RUN: mlir-opt %s -generate-runtime-verification \
+// RUN:     -expand-strided-metadata \
+// RUN:     -test-cf-assert \
+// RUN:     -convert-to-llvm="allow-pattern-rollback=0" \
+// RUN:     -reconcile-unrealized-casts | \
+// RUN: mlir-runner -e main -entry-point-result=void \
+// RUN:     -shared-libs=%mlir_runner_utils 2>&1 | \
+// RUN: FileCheck %s
+
+func.func @main() {
+  %c4 = arith.constant 4 : index
+  %alloca = memref.alloca() : memref<1xf32>
+
+  //      CHECK: ERROR: Runtime op verification failed
+  // CHECK-NEXT: "memref.dim"(%{{.*}}, %{{.*}}) : (memref<1xf32>, index) -> index
+  // CHECK-NEXT: ^ index is out of bounds
+  // CHECK-NEXT: Location: loc({{.*}})
+  %dim = memref.dim %alloca, %c4 : memref<1xf32>
+
+  return
+}