Fix issues and Update toolchain 10-26#2843

adpaco-aws merged 5 commits intomodel-checking:mainmodel-checking/kani:mainfrom

jaisnan:Update-toolchain-10-25jaisnan/kani:Update-toolchain-10-25Copy head branch name to clipboard