[RFC] Allowing Dialects to relax the SSA-dominance condition

After thinking about this more, I’m very much against the TableGen model diverging from the C++ model. I think this is a really bad idea that makes it more difficult to understand how operations are modeled.