My guess is that such systems are complex, hard to model for safety assurances, and hard to reason about in the moment.

Yes, it will probably make the system safer, but your guarantees become a lot more fuzzy. This is not the field for fuzzy guarantees.