chore: regenerate test vectors against leanSpec main and fix fork-choice harness#120

ArtiomTr merged 4 commits into

grandinetech:devnet-5grandinetech/lean:devnet-5from

SoarinSkySagar:test-vectors-updateSoarinSkySagar/lean:test-vectors-updateCopy head branch name to clipboard