chore: Document gate savings around no_predicates#5657

jzaki wants to merge 3 commits intomasternoir-lang/noir:masterfrom

jz/docs-no-predicatesnoir-lang/noir:jz/docs-no-predicatesCopy head branch name to clipboard