[SV][HW][Sim] Rework (Non)ProceduralOp traits

[fzi-hielscher]

Follow up #10180

This moves the ProcecduralOp and NonProceduralOp traits of the SV dialect to the CIRCT support library, adds them to operations of the HW and Sim dialects, and makes several changes to improve interaction with upstream dialects. The traits only affect operation verification. Compilation results should remain unchanged.

Previously, operations carrying the ProceduralOp trait were only permitted in regions where the immediate parent carried the ProceduralRegion trait. This made it impossible to use these operations in non-SV dialect regions, such as scf.if or func.func. To enable this, this PR makes three notable changes to the way these traits work:

• Switch from a positive to a negative check. I.e.: A procedural operation must not be in a non-procedural region.
• Add the NonProceduralRegion trait to mark these regions.
• Let the verifier of the (Non)ProceduralOp trait look through parent operations which carry neither the ProceduralRegion nor the NonProceduralRegion trait, so these traits apply transitively.

[uenoku]

The change in behavior regarding the transitivity of unknown operations makes sense to me 👍

[fzi-hielscher]

Thanks! I'm a bit concerned about the potential performance impact added by recursing over the parent ops. But I hope if we consistently apply the ProceduralRegion/NonProceduralRegion trait to the operations that we control, it shouldn't be noticeable.

[uenoku]

Yeah I agree this is negligible for our dialects in tree. It's possible for some users to create deeply nested scf.if etc but I think that's their responsibility not to do that.

[fabianschuiki]

LGTM! Thanks for going through all the existing code and fixing things up 💯 👍