<!-- If this is a security issue, please report it following the [security reporting procedure](https://github.com/model-checking/kani/security/policy). --> <!-- Thank you for filing a bug report! 🐛 Please provide a short summary of the issue, along with the information necessary to replicate. --> Quantifiers should be gated behind a `-Z quantifiers` [unstable feature](https://github.com/model-checking/kani/blob/931661b0cdbf9354eba3902608efadad00b1cbb3/kani_metadata/src/unstable.rs#L69) like our other experimental features.