[WIP] Overwrite panic macros directly in libstd#4321

bjorn3 wants to merge 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

bjorn3:macro_overwritesbjorn3/kani:macro_overwritesCopy head branch name to clipboard