Upgrade Rust toolchain to 2025-11-07 (#4454)

Relevant upstream PR:
- rust-lang/rust#148188 (feat: Use
annotate-snippets by default on nightly)

Resolves: #4453

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

Author: tautschnig

kani-compiler/src/session.rs

@@ -59,7 +59,7 @@ static JSON_PANIC_HOOK: LazyLock<Box<dyn Fn(&panic::PanicHookInfo<'_>) + Sync +
                 Some(Arc::new(SourceMap::new(FilePathMapping::empty()))),
                 default_translator(),
                 false,
-                HumanReadableErrorType::Default,
+                HumanReadableErrorType::Default { short: false },
                 ColorConfig::Never,
             );
             let registry = ErrorRegistry::new(&[]);

rust-toolchain.toml

@@ -2,5 +2,5 @@
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 [toolchain]
-channel = "nightly-2025-11-06"
+channel = "nightly-2025-11-07"
 components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"]