Poseidon2 spec: fix round constants#6

tcoratger merged 3 commits intoleanEthereum:mainleanEthereum/leanSpec:mainfrom

tcoratger:round-constantstcoratger/leanSpec:round-constantsCopy head branch name to clipboard