chore: Add abstraction layer around ACIR gen of quotient directives

[kevaundray]

Description

Problem*

Resolves

Summary*

Documentation

• This PR requires documentation updates when merged.

  • I will submit a noir-lang/docs PR.
  • I will request for and support Dev Rel's help in documenting this PR.

Additional Context

PR Checklist*

• I have tested the changes locally.
• I have formatted the changes with Prettier and/or cargo fmt on default settings.

[kevaundray]

The bigger issue here is the fact that we are liberally creating witnesses out of thin air. An abstraction over this like range_directive would help here

[TomAFrench]

An abstraction over this like range_directive would help here

I can add this in this PR if you're not working on this already.

[kevaundray]

An abstraction over this like range_directive would help here

I can add this in this PR if you're not working on this already.

Sorry forgot to reply -- yeah this would be good, I have a few things in the backlog, so it would be quicker if you did it

[kevaundray]

@TomAFrench do you want to add it here, or should we merge this and add it in a separate PR? (Either way is fine with me, my suggestion above would affect more than just the quotient directive I think, so we would need to rename the PR appropriately)

[TomAFrench]

Easiest to do it here. Reordering the opcodes is only a substantive change in the context of #1729 so we can just make this PR be primarily about the new abstraction layer.

[TomAFrench]

@kevaundray if you give an ok in the comments here, I can approve + merge.

[TomAFrench]

Looks like we should add the range constraints into the helper as well.

[kevaundray]

LGTM