chore: Add barebones executeCircuit method for init circuit

[kevaundray]

Abi to typescript is missing, so its a bit hard to get the inputs in the correct shape. For now, I've just zeroed out the witness map and passed it to executeCircuit.

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).