**Proposed change:** Add the attribute `#[kani:: unstable]` as part of #2279. This will introduce an opt-in model for users to be able to use unstable APIs. **Motivation:** Allow users to try new APIs, but only enable them when explicitly requested.
