Implement the `light_client` spec tests

[ralexstokes]

To close this issue, the spec tests should both verify the provided proof and generate the proof to ensure equivalence.

Note, as of March 2024, the light_client runner test only test Merkle proofs for some of the light client types and so we should be able to already pass those.