fix: Correct circuit size estimation for UltraHonk#6164

lucasxia01 merged 12 commits intomasterAztecProtocol/aztec-packages:masterfrom

mv/gates-for-non-zero-poly-with-finalizeAztecProtocol/aztec-packages:mv/gates-for-non-zero-poly-with-finalizeCopy head branch name to clipboard