[chore] stabilise SMT and bump provers #5287

Job	Run time
Build Docker images	5m 59s
Fetch EasyCrypt External Projects Matrix	5s
EasyCrypt compilation (nix)	1m 17s
EasyCrypt compilation (opam)	2m 6s
Check EasyCrypt Libraries (stdlib)	5m 3s
Check EasyCrypt Libraries (unit)	6m 30s
Check EasyCrypt Libraries (examples)	4m 38s
Check EasyCrypt External Projects (xmss-security, https://github.com/formosa-crypto/formosa-xmss,...	13m 33s
Check EasyCrypt External Projects (sphincsplus, https://github.com/formosa-crypto/formosa-slhdsa,...	24m 5s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	6m 12s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, ec-main, ., c...	3m 47s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	12m 42s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	4m 59s
Check EasyCrypt External Projects (set-status)	2s
Publish Docker images	-1s
Notification	-1s
	1h 30m 56s

Provide feedback