Rename core::assert to avoid possible conflicts in user crate#2005

zhassan-aws merged 2 commits intomodel-checking:mainmodel-checking/kani:mainfrom

zhassan-aws:iss1949zhassan-aws/kani:iss1949Copy head branch name to clipboard