chore!: explicitly constrain inputs and intermediate witnesses#19826

ledwards2225 merged 6 commits intomerge-train/barretenbergAztecProtocol/aztec-packages:merge-train/barretenbergfrom

lde/sha-audit-4AztecProtocol/aztec-packages:lde/sha-audit-4Copy head branch name to clipboard