feat: Constrain block number on L1 contract

[LHerskind]

The block number in the l2 block is already constrained by the L1 contract, it merely needs to be included as part of the public inputs hash to communicate with the circuits.

[LHerskind]

This is already done through the old state hash checks.