those are features for additional checking. With the next major version (13.0) of the compiler, released later this year, we're going to add support for (most of) such options. Following updates will add more.
For all the options you provided we either have implemented support (for future 13.0) or there are already tickets for future action, which I just verified.
Edit: The release notes of the future compiler versions will document newly added features.