feat: make rust const#2080

JasonGross merged 3 commits into

mit-plv:mastermit-plv/fiat-crypto:masterfrom

Daniel-Aaron-Bloom:rust-constDaniel-Aaron-Bloom/fiat-crypto:rust-constCopy head branch name to clipboard