fix: assert_constant refactors and fixes from audit#9547

asterite merged 7 commits intomasternoir-lang/noir:masterfrom

ab/assert_constant_refactors_and_fixesnoir-lang/noir:ab/assert_constant_refactors_and_fixesCopy head branch name to clipboard