Light Client States Updates

[nomaxg]

This PR:

This PR introduces light client state updates to our Arbitrum integration, as well as recent miscellaneous changes to get our E2E test working with Cappuccino-related sequencer updates.

At a high level, the batcher now waits for light client state updates, updating batches with a block merkle justification relative to a light client snapshot at a certain L1 height. The validator then verifies this merkle proof against the snapshot, which is provided by the ReadHotShotCommitment host-io call.

This PR does not:
In the process of working on this PR, two issues have been identified.

1. Broken Namespace Validation (this will need to be fixed for Cappuccino, and will be addressed in a follow-up PR)
2. Broken Fraud Proofs (this will be addressed in a follow up PR, once we return to fraud proof work).

Key places to review:
batch_poster.go:465: Modification to the batcher to wait for light client state updates
transaction_streamer.go:664: Small DB workaround to account for the fact that batches can now change in flight.
espresso-crypto-helper/src/lib.rs:47: Helper function to verify merkle proofs.

How to test this PR:

make build
go test -run ^TestEspressoE2E$ github.com/offchainlabs/nitro/system_tests -v
make test-go

[ImJeremyHe]

I think this PR can be merged now. We can fix or do other things in next PRs.