Chore: Printing of Object<string> will now display the string.#5796

MikaelMayer merged 2 commits intomasterdafny-lang/dafny:masterfrom

feat-print-rust-object-stringdafny-lang/dafny:feat-print-rust-object-stringCopy head branch name to clipboard