This would be analogous to --check-bounds=yes and would be useful for test suites, CI, etc. It could look, e.g., like this: --ignore-assume-effects=yes.

Apart from being useful for ensuring correctness of Julia code on its own, it'd help make certain possible changes, like #54427, more palatable.