chore: Use Noir javascript packages to execute the private kernel circuit init using the typescript generated types

[kevaundray]

Please provide a paragraph or two giving a summary of the change, including relevant motivation and context.

Checklist:

Remove the checklist to signal you've completed it. Enable auto-merge if the PR is ready to merge.

• If the pull request requires a cryptography review (e.g. cryptographic algorithm implementations) I have added the 'crypto' tag.
• I have reviewed my diff in github, line by line and removed unexpected formatting changes, testing logs, or commented-out code.
• Every change is related to the PR description.
• I have linked this pull request to relevant issues (if any exist).

[kevaundray]

A few changes were made here:

• The typescript generator was modified to typecheck arrays at compile time. typescript started to complain about this, so we had to cast these types in type_conversion

• Monomorphized types do not actually specify that they have been monomorphized in the abi.json, so the typescript generator was not catching this. I added this to the bugs list with an example. To fix, I modified the Noir code to effectively monomorphize the two structs ContractLeafMembership and FunctionLeafMembership.

• The typescript generator was changed to make the Return type a tye alias for the typescript generated return type, having an interface with a value field was not correct. Ideally we do a runtime check here, instead of the downcast, but for now its okay

[kevaundray]

I think this is okay tech debt at the moment -- until we want to merge into master, without it we will need to manually make an instance of PrivateKernelInputsInit in noir-private-kernel in order to have tests