feat: simplify assertions that squared values are equal to zero#7432

TomAFrench merged 2 commits intomasternoir-lang/noir:masterfrom

tf/simplify-assertions-on-squared-valuesnoir-lang/noir:tf/simplify-assertions-on-squared-valuesCopy head branch name to clipboard