fix: Add Result to acir gen

[jfecher]

Description

Problem*

Resolves #1918

Summary*

Adds Result pervasively to AcirGen. I've also added Locations to each AcirGenError to improve the error messages.

Now, when running on the example code from the linked issue the compiler no longer crashes and instead issues an error message:

error: 
   ┌─ /.../aztec-packages/yarn-project/noir-contracts/src/libs/noir-aztec/src/types/vec.nr:18:16
   │
18 │         assert(self.len as u64 < MaxLen as u64);
   │                ------------------------------- Failed constraint

Error: Aborting due to 1 previous error

This error message could still be nicer (in a future PR):

• It is in a library function rather than the original contract, so a stack trace would be very helpful (but difficult).
• We could interpolate failing asserts more precisely. So the error could be Failed constraint: 75 < 74 (for example).

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.