chore: require safety doc comment for unsafe instead of //@safety#6992

TomAFrench merged 3 commits intomasternoir-lang/noir:masterfrom

ab/safety-doc-commentsnoir-lang/noir:ab/safety-doc-commentsCopy head branch name to clipboard