chore(docs): Supplement descriptions for defaulting loop indices to be u64#3237

TomAFrench merged 6 commits intomasternoir-lang/noir:masterfrom

ss/docs-default-integernoir-lang/noir:ss/docs-default-integerCopy head branch name to clipboard