Integrate leanSpec spec test vectors for testing the Lean Client #867
Description
Describe the feature
The above PR in leanSpec outlines the test vectors that we will use to test the Lean Consensus components of our client.
As the PR is in draft, it's a good time to start planning out their integration.
Additional context
No response