feat(nargo): Multiple circuits info for binary programs

[vezenovm]

Description

Problem*

Resolves #4697

Summary*

The nargo info command previously assumed that we only had a single circuit. In order to display accurate circuits sizes we should display the circuit size of each individual circuit entry part which is part of an entire Program.

For improved debugging I also had to exposed names in the GeneratedAcir. This prompted also refactoring the context that we pass around in ssa.rs when creating a circuit and a program. Two new structs,SsaProgramArtifact and SsaCircuitArtifact, have been created to clean this up.

Example output from nargo info on fold_basic_nested_call:

Additional Context

It isn't necessarily obvious how we should display foldable circuits for contracts which already have multiple entry points. I have left this for follow-up work: #4720

Documentation*

Check one:

• No documentation needed.
• Documentation included in this PR.
• [For Experimental Features] Documentation to be submitted in a separate PR.

PR Checklist*

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