chore(ssa refactor): acir-gen for NOT instruction

[joss-aztec]

Description

Problem*

Resolves

Summary*

Add ACIR gen for the not instruction

This PR sets out to

Example

fn main(x : bool) -> pub bool {
    !x
}

compiles to:

current witness index : 3
public parameters indices : []
return value indices : [2]
BLACKBOX::RANGE [(_1, num_bits: 1)] [ ]
EXPR [ (-1, _1) (-1, _2) 1 ]

This PR is dependent on #1449 for capturing bool bit widths in parameters to main

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.