The `L2ToL1MessagePasser` nonce is set to `type(uint32).max`
initially to prevent nonce collisions with legacy withdrawals
that have been upgraded. The max value for the nonce is
`type(uint256).max` so it is not a problem to start at a non
zero nonce.