Add deploy time checks to ensure that the config invariants are sane.
There is an invariant such that the L2 gas limit must be larger than
the amount of gas used by the system transaction plus the amount
of gas that deposits can purchase on L1. This invariant is held
checked in the migration code but not the typescript deployment
code.