nightly-2024-01-15: feat: add `noir-compiler` checks to `aztec_macros` (#4031)

# Description

## Problem\*

Resolves <!-- Link to GitHub Issue -->

## Summary\*

This PR moves the checks applied in
[noir_compiler](https://github.com/AztecProtocol/aztec-packages/blob/c38dbd2fe13dfcf019da3877c17ca8d148f45233/yarn-project/noir-compiler/src/contract-interface-gen/abi.ts#L92-L97)
to `aztec_macros`.

## Additional Context



## Documentation\*

Check one:
- [x] No documentation needed.
- [ ] Documentation included in this PR.
- [ ] **[Exceptional Case]** Documentation to be submitted in a separate
PR.

# PR Checklist\*

- [x] I have tested the changes locally.
- [x] I have formatted the changes with [Prettier](https://prettier.io/)
and/or `cargo fmt` on default settings.