chore: greenlight checked_to_unchecked for audits#9537

asterite merged 2 commits intomasternoir-lang/noir:masterfrom

ab/checked_to_unchecked_docsnoir-lang/noir:ab/checked_to_unchecked_docsCopy head branch name to clipboard