chore: make workspaceSymbols benchmark independent of sorry search (#11642)

Author: hargoniX

tests/bench/workspaceSymbols.lean

@@ -12,7 +12,7 @@ def bench (pattern : String) : TermElabM Unit := do
   IO.println s!"{n} matches"
 
 set_option profiler true
-#eval bench "L"
-#eval bench "Lean."
-#eval bench "Lean.Expr"
-#eval bench "Lean.Expr.const"
+#eval! bench "L"
+#eval! bench "Lean."
+#eval! bench "Lean.Expr"
+#eval! bench "Lean.Expr.const"