Update crate version numbers (#2844)

Co-authored-by: Version Bumper Bot <41898282+github-actions[bot]@users.noreply.github.com>

Author: parno

source/Cargo.lock

@@ -1,6 +1,6 @@
 [package]
 name = "verus_builtin_macros"
-version = "0.0.0-2026-08-09-0044"
+version = "0.0.0-2026-08-23-0033"
 edition = "2018"
 license = "MIT"
 description = "Verus Builtin Macros: Various macros used by Verus"

source/builtin_macros/Cargo.toml

@@ -78,7 +78,7 @@ version = "0.1.0"
 edition = "2021"
 
 [dependencies]
-vstd = "=0.0.0-2026-08-09-0044"
+vstd = "=0.0.0-2026-08-23-0033"
 
 [package.metadata.verus]
 verify = true

source/cargo-verus/src/subcommands.rs

@@ -5,7 +5,7 @@
 
 [package]
 name = "vstd"
-version = "0.0.0-2026-08-09-0044"
+version = "0.0.0-2026-08-23-0033"
 edition = "2021"
 license = "MIT"
 description = "Verus Standard Library: Useful specifications and lemmas for verifying Rust code"
@@ -21,7 +21,7 @@ name = "vstd"
 path = "vstd.rs"
 
 [dependencies]
-verus_builtin_macros = { version = "=0.0.0-2026-08-09-0044", path = "../builtin_macros" }
+verus_builtin_macros = { version = "=0.0.0-2026-08-23-0033", path = "../builtin_macros" }
 verus_builtin = { version = "=0.0.0-2026-08-09-0044", path = "../builtin" }
 verus_state_machines_macros = { version = "=0.0.0-2026-08-02-0125", path = "../state_machines_macros" }