ZK-634: Constrain token index

[guspiel]

No description provided.

[github-actions]

Circuit	Metric	Main branch	New code	% Change
Deposit	max_advice_rows	$${\color{green}794}$$	$${\color{red}795}$$	$${\color{red}0.13\%}$$
Deposit	max_fixed_rows	$${\color{green}794}$$	$${\color{red}795}$$	$${\color{red}0.13\%}$$
Deposit	max_rows	$${\color{green}794}$$	$${\color{red}795}$$	$${\color{red}0.13\%}$$
Deposit	proving key size	$${\color{green}12.3 MB}$$	$${\color{red}12.6 MB}$$	$${\color{red}2.44\%}$$
Deposit	verification key size	$${\color{green}2.2 KB}$$	$${\color{red}2.3 KB}$$	$${\color{red}4.55\%}$$

[pmikolajczyk41]

nit: probably indicators.map(|v|v.cloned()) would do

[guspiel]

almost:) replaced with something as close to what you suggested as I could

[pmikolajczyk41]

stylistic nit: it would be a tad better to have const generics always either first or last

[guspiel]

definitely, done