Track more precisely tuple to tuple assignments in sim #3510

Job	Run time
EasyCrypt compilation (nix)	1m 12s
Fetch EasyCrypt External Projects Matrix	3s
EasyCrypt compilation (opam)	1m 10s
Check EasyCrypt Libraries (unit)	1m 17s
Check EasyCrypt Libraries (stdlib)	5m 4s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	2m 1s
Check EasyCrypt Libraries (examples)	3m 5s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	11m 58s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	2m 26s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...	1m 44s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 37s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 4s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	21m 5s
Check EasyCrypt External Projects (set-status)	2s
Notification	0s
	1h 5m 48s

Provide feedback