Make nargo gates work with contract functions

[iAmMichaelConnor]

Problem

Might there be a way to learn the gate count of each constrained function of a Noir contract? E.g. by updating nargo gates to work with contracts)?

Happy Case

I can run some command to learn how many gates each function of my circuit uses (either independently, or maybe even all circuits at once).

Alternatives Considered

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response

[kobyhallx]

To be addressed in #2088