subspec: implement Poseidon2 spec with tests#3

tcoratger merged 3 commits intoleanEthereum:mainleanEthereum/leanSpec:mainfrom

tcoratger:poseidon-spectcoratger/leanSpec:poseidon-specCopy head branch name to clipboard