build(deps): bump kani-verifier from 0.61.0 to 0.62.0

Bumps [kani-verifier](https://github.com/model-checking/kani) from 0.61.0 to 0.62.0.
- [Release notes](https://github.com/model-checking/kani/releases)
- [Changelog](https://github.com/model-checking/kani/blob/main/CHANGELOG.md)
- [Commits](model-checking/kani@kani-0.61.0...kani-0.62.0)

---
updated-dependencies:
- dependency-name: kani-verifier
  dependency-version: 0.62.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>

Author: dependabot[bot]

Cargo.lock

@@ -19,7 +19,7 @@ proptest = "1.0.0"
 
 # For formal verification (moved to dependencies with optional flag)
 [dependencies.kani-verifier]
-version = "0.61.0"
+version = "0.62.0"
 optional = true
 
 [features]

wrt-format/Cargo.toml

@@ -61,7 +61,7 @@ hashbrown = { version = "0.15", optional = true } # For no_std with alloc
 log = { version = "0.4", optional = true, default-features = false }
 
 # For formal verification - not enabled by default
-kani-verifier = { version = "0.61.0", optional = true }
+kani-verifier = { version = "0.62.0", optional = true }
 
 # serde = { version = "1.0", features = ["derive"], optional = true }
 # serde_bytes = { version = "0.11", optional = true }

wrt-foundation/Cargo.toml

@@ -17,7 +17,7 @@ wrt-sync = { workspace = true, default-features = false }
 # Optional dependencies
 log = { version = "0.4", optional = true }
 # For formal verification when 'kani' feature is enabled
-kani-verifier = { version = "0.61.0", optional = true }
+kani-verifier = { version = "0.62.0", optional = true }
 
 [dev-dependencies]
 chrono = "0.4"  # For examples

wrt-intercept/Cargo.toml

@@ -26,7 +26,7 @@ alloc = { package = "rustc-std-workspace-alloc", version = "1.0.0", optional = t
 
 # No external dependencies needed
 # Only used for formal verification when 'kani' feature is enabled
-kani-verifier = { version = "0.61.0", optional = true }
+kani-verifier = { version = "0.62.0", optional = true }
 
 [features]
 default = [] # No features enabled by default, ensuring no_std without alloc