> just a flag to enable all this and be fine with consequences
Is probably the opposite of what the language is about.
Reasoning about the consequences along a couple functions in your hot path is one thing. Reasoning about the consequences in your entire codebase and all libraries is quite another.