fix: smt_verification: negative bitvecs, changed gates indicies. acir_formal_proofs: noir-style signed division#11649

defkit merged 14 commits intomasterAztecProtocol/aztec-packages:masterfrom

sn/fix_negative_bv_valuesAztecProtocol/aztec-packages:sn/fix_negative_bv_valuesCopy head branch name to clipboard