[llvm] Add -verify-with-context option to enable better reporting of verifier errors (PR #84867)

[Matt Arsenault via llvm-commits]

================
@@ -132,9 +132,64 @@ static cl::opt<bool> VerifyNoAliasScopeDomination(
     cl::desc("Ensure that llvm.experimental.noalias.scope.decl for identical "
              "scopes are not dominating"));
 
+static cl::opt<bool> VerifyWithContext(
+    "verify-with-context", cl::Hidden, cl::init(false),
+    cl::desc("Enable a detailed context reporting for verification errors"));
----------------
arsenm wrote:

This shouldn't be an option. If we want to do this it should just always be enabled. If it were to be an option, it should be a pass parameter and not a cl::opt. 

https://github.com/llvm/llvm-project/pull/84867