Add #[kani::unstable] attribute#2373

celinval merged 3 commits intomodel-checking:mainmodel-checking/kani:mainfrom

celinval:issue-2279-unstable-attrcelinval/kani-dev:issue-2279-unstable-attrCopy head branch name to clipboard