feat: biggroup_goblin handles points at infinity + 4x reduction in ECCVM size

[zac-williamson]

This PR adds support for biggroup_goblin handling elliptic curve points at infinity

This feature is used to optimize the ECCVM instructions created when running a recursive protogalaxy verifier.

Instead of performing size-2 scalar multiplications for every witness/commitment, additional random challenges are generated in order to evaluate two large batch multiplications.

The technique implemented is described in https://hackmd.io/T1239dufTgO1v8Ie7EExlQ?view

[github-actions]

Changes to public function bytecode sizes

Generated at commit: 29b7d6443d9ec4e0d50d6b8de57a9d0e49e68b69, compared to commit: 8835b31d76b2f7c45416eaf67a748d8df9dbc753

🧾 Summary (100% most significant diffs)

Program	Bytecode size in bytes (+/-)	%
Token::public_dispatch	-4,718 ✅	-14.33%
NFT::public_dispatch	-4,073 ✅	-15.51%
NFT::_finalize_transfer_to_private_unsafe	-2,454 ✅	-39.00%
NFT::finalize_transfer_to_private	-2,454 ✅	-39.20%
Token::complete_refund	-2,969 ✅	-50.68%

---

Full diff report 👇

Program	Bytecode size in bytes (+/-)	%
Token::public_dispatch	28,211 (-4,718)	-14.33%
NFT::public_dispatch	22,193 (-4,073)	-15.51%
NFT::_finalize_transfer_to_private_unsafe	3,838 (-2,454)	-39.00%
NFT::finalize_transfer_to_private	3,807 (-2,454)	-39.20%
Token::complete_refund	2,889 (-2,969)	-50.68%