chore: implement is_zero in terms of AcirVars#3655

TomAFrench wants to merge 11 commits intomasternoir-lang/noir:masterfrom

tf/is-zero-acir-varnoir-lang/noir:tf/is-zero-acir-varCopy head branch name to clipboard