fix!: claude-generated pre-audit for bitwise in avm - soundness bug and edge-case tests#19247

dbanks12 wants to merge 2 commits intomerge-train/avmAztecProtocol/aztec-packages:merge-train/avmfrom

db/claude-audit-bitwiseAztecProtocol/aztec-packages:db/claude-audit-bitwiseCopy head branch name to clipboard