chore: carry visibilities in monomorphized AST

[asterite]

Description

Problem

Resolves #8425

Summary

Additional Context

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.

[aakoshh]

Could we change this so that the print looks like what the parser expects?

Currently it prints this:

fn main(call_data(0) a: [(str<0>, str<0>, str<4>, str<4>); 3]

But if I search for call_data in the codebase, I see this:

fn main(
    a: call_data(0) [Field; TX_SIZE],
    b: call_data(1) [Field; APP_CALL_SIZE],
) -> return_data [Field; TX_SIZE] {

It would be great if I could keep copy pasting the printout into Noir files.

[asterite]

Ah, good catch. I didn't realize I put it in the wrong location. I'll fix it now.