Update spec tests and test against spec tests with valid signatures

[shariqnaiyer]

Describe the feature

https://github.com/leanEthereum/leanSpec/actions/workflows/prod-vectors.yml

Additional context

No response