fix(deps): bump rules_rust minimum to 0.58.0 for current Bazel

rules_rust 0.56.0 used the Bazel built-in `CcInfo` symbol, which
current Bazel has removed — module evaluation fails when consumers
pick up our minimum and don't override rules_rust themselves.
0.58.0 was the first release to load `CcInfo` from
`@rules_cc//cc/common:cc_info.bzl`, so it works on current Bazel.

This was forcing pulseengine/rivet to mark Verus CI as
`continue-on-error: true` (see rivet/.github/workflows/ci.yml:399).
With this bump that workaround can be removed.

Verified: `bazel build //tools/verus-strip:verus-strip` succeeds
with the new minimum (verus-strip is the only thing rules_verus
itself uses rules_rust for).

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: avrabe

MODULE.bazel

@@ -18,7 +18,13 @@ bazel_dep(name = "platforms", version = "0.0.10")
 # Low minimum version: consumers control their own rules_rust version.
 # Consumers MUST register a Rust toolchain that includes the version
 # matching Verus's rust_verify (see rust_version in extensions.bzl).
-bazel_dep(name = "rules_rust", version = "0.56.0")
+#
+# Minimum 0.58.0: earlier releases used the Bazel built-in `CcInfo`
+# symbol, which was removed from current Bazel. 0.58.0 was the first
+# release to load `CcInfo` from `@rules_cc//cc/common:cc_info.bzl`.
+# Pinning lower forced consumers (e.g. pulseengine/rivet) to mark Verus
+# CI as continue-on-error since the load failed at module evaluation.
+bazel_dep(name = "rules_rust", version = "0.58.0")
 
 # Crate dependencies for verus-strip
 crate = use_extension("@rules_rust//crate_universe:extensions.bzl", "crate")

README.md

@@ -306,7 +306,9 @@ sysroot (`librustc_driver`, `libstd`, etc.) alongside the Verus binaries. This m
   Verus was built against
 - **Full sandbox support** — all files are available as Bazel inputs
 - **`rules_rust` is only needed for `verus_strip`** (building from source via `crate_universe`),
-  and uses a low minimum version (`>= 0.56.0`) to avoid conflicts
+  and uses a low minimum version (`>= 0.58.0`) to avoid conflicts.
+  The 0.58.0 floor is required because earlier releases used the Bazel
+  built-in `CcInfo` symbol that current Bazel has removed.
 
 ## License