feat(ssa): Update the missing Brillig constraint SSA check to process EnableSideEffectsIf

[rkarabut]

Problem

EnableSideEffectsIf instruction isn't handled by the check although it can lead to false positives, leaving Brillig call results descendants affected untainted.

Happy Case

EnableSideEffectsIf should be handled correctly, marking the results affected by a condition using Brillig output as also using Brillig output.

Workaround

None

Workaround Description

No response

Additional Context

The issue has been brought up in #6658 (comment).

Project Impact

None

Blocker Context

No response

Would you like to submit a PR for this Issue?

Yes

Support Needs

No response