Extend E2E to use contract and check state

[LHerskind]

Currently as no proofs are verified, changes to the l2block layout that will brick calldata computation in contract can pass as it is never checked.

Extend the current E2E tests such that the it is checked that the public input hash computed in contract matched the expected value alerting people before they break it.