feat: Misc Rust runtime improvements#5769

MikaelMayer merged 4 commits intomasterdafny-lang/dafny:masterfrom

alexchew/misc-rust-runtime-improvementsdafny-lang/dafny:alexchew/misc-rust-runtime-improvementsCopy head branch name to clipboard