Enforce unstable APIs can only be used if the related feature is enabled#2386

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

celinval:issue-2279-unstable-apicelinval/kani-dev:issue-2279-unstable-apiCopy head branch name to clipboard