Update fiat-crypto and dependencies with new versions

[JasonGross]

For future reference, the sha512 updates were made in each directory by running

src="$(grep -o 'src: "[^"]*' opam | sed s'/src: "//g')"; out="$(echo -- "$src" | grep -o '[^/]*$')"; wget "$src" -O "$out"; sha="$(sha512sum "$out" | cut -f1 -d' ')"; sed 's/sha512=[^"]*/sha512='"$sha"'/g' -i opam

[MSoegtropIMC]

@palmskog : this all failed due to timeouts. I will check this locally in Coq Platform and post here later today if it works for me.

See also mit-plv/fiat-crypto#1565

[palmskog]

@MSoegtropIMC OK, I will merge if we get an OK report from your local check.

[MSoegtropIMC]

@palmskog : this works for me in a Coq Platform 8.17.0 environment (build and smoke test for all opam packages). So I would say this is good to go. I copied this verbatim to Coq Platform for the 2023.03 beta (will remove it later again).