Update RawVec proof to nightly-2025-11-25#533

tautschnig merged 1 commit intomodel-checking:sync-2025-11-25model-checking/verify-rust-std:sync-2025-11-25from

btj:sync-2025-11-25-rawvecbtj/verify-rust-std:sync-2025-11-25-rawvecCopy head branch name to clipboard