contracts-bedrock: update constructor require statment

Updates the constructor check in the `L2OutputOracle` so that
it is correct. It previously compared two different types of
units (blocknumbers and timestamps). The real thing that we
need to ensure is that neither is 0 because that will result
in a broken system.
Co-authored-by: clabby <ben@clab.by>

packages/contracts-bedrock/.gas-snapshot

@@ -147,28 +147,29 @@ L2ERC721Bridge_Test:test_finalizeBridgeERC721_notViaLocalMessenger_reverts() (ga
 L2ERC721Bridge_Test:test_finalizeBridgeERC721_selfToken_reverts() (gas: 17659)
 L2ERC721Bridge_Test:test_finalizeBridgeERC721_succeeds() (gas: 168970)
 L2OutputOracleTest:test_computeL2Timestamp_succeeds() (gas: 37298)
-L2OutputOracleTest:test_constructor_badTimestamp_reverts() (gas: 70947)
+L2OutputOracleTest:test_constructor_badTimestamp_reverts() (gas: 70991)
 L2OutputOracleTest:test_constructor_l2BlockTimeZero_reverts() (gas: 45954)
-L2OutputOracleTest:test_constructor_succeeds() (gas: 33827)
-L2OutputOracleTest:test_deleteL2Outputs_afterLatest_reverts() (gas: 212262)
-L2OutputOracleTest:test_deleteL2Outputs_finalized_reverts() (gas: 108967)
+L2OutputOracleTest:test_constructor_submissionInterval_reverts() (gas: 45942)
+L2OutputOracleTest:test_constructor_succeeds() (gas: 33805)
+L2OutputOracleTest:test_deleteL2Outputs_afterLatest_reverts() (gas: 212306)
+L2OutputOracleTest:test_deleteL2Outputs_finalized_reverts() (gas: 108990)
 L2OutputOracleTest:test_deleteL2Outputs_ifNotChallenger_reverts() (gas: 18918)
 L2OutputOracleTest:test_deleteL2Outputs_nonExistent_reverts() (gas: 107339)
-L2OutputOracleTest:test_deleteOutputs_multipleOutputs_succeeds() (gas: 302439)
-L2OutputOracleTest:test_deleteOutputs_singleOutput_succeeds() (gas: 181038)
-L2OutputOracleTest:test_getL2OutputIndexAfter_multipleOutputsExist_succeeds() (gas: 267120)
-L2OutputOracleTest:test_getL2OutputIndexAfter_noOutputsExis_reverts() (gas: 17959)
-L2OutputOracleTest:test_getL2OutputIndexAfter_previousBlock_succeeds() (gas: 96066)
-L2OutputOracleTest:test_getL2OutputIndexAfter_sameBlock_succeeds() (gas: 95995)
-L2OutputOracleTest:test_getL2Output_succeeds() (gas: 101634)
-L2OutputOracleTest:test_latestBlockNumber_succeeds() (gas: 96962)
-L2OutputOracleTest:test_nextBlockNumber_succeeds() (gas: 17490)
-L2OutputOracleTest:test_proposeL2Output_emptyOutput_reverts() (gas: 26690)
-L2OutputOracleTest:test_proposeL2Output_futureTimetamp_reverts() (gas: 28669)
-L2OutputOracleTest:test_proposeL2Output_notProposer_reverts() (gas: 25783)
-L2OutputOracleTest:test_proposeL2Output_proposeAnotherOutput_succeeds() (gas: 101028)
+L2OutputOracleTest:test_deleteOutputs_multipleOutputs_succeeds() (gas: 302462)
+L2OutputOracleTest:test_deleteOutputs_singleOutput_succeeds() (gas: 181016)
+L2OutputOracleTest:test_getL2OutputIndexAfter_multipleOutputsExist_succeeds() (gas: 267098)
+L2OutputOracleTest:test_getL2OutputIndexAfter_noOutputsExis_reverts() (gas: 17937)
+L2OutputOracleTest:test_getL2OutputIndexAfter_previousBlock_succeeds() (gas: 96044)
+L2OutputOracleTest:test_getL2OutputIndexAfter_sameBlock_succeeds() (gas: 95973)
+L2OutputOracleTest:test_getL2Output_succeeds() (gas: 101612)
+L2OutputOracleTest:test_latestBlockNumber_succeeds() (gas: 96940)
+L2OutputOracleTest:test_nextBlockNumber_succeeds() (gas: 17468)
+L2OutputOracleTest:test_proposeL2Output_emptyOutput_reverts() (gas: 26668)
+L2OutputOracleTest:test_proposeL2Output_futureTimetamp_reverts() (gas: 28647)
+L2OutputOracleTest:test_proposeL2Output_notProposer_reverts() (gas: 25806)
+L2OutputOracleTest:test_proposeL2Output_proposeAnotherOutput_succeeds() (gas: 101006)
 L2OutputOracleTest:test_proposeL2Output_unexpectedBlockNumber_reverts() (gas: 28381)
-L2OutputOracleTest:test_proposeL2Output_unmatchedBlockhash_reverts() (gas: 29381)
+L2OutputOracleTest:test_proposeL2Output_unmatchedBlockhash_reverts() (gas: 29404)
 L2OutputOracleTest:test_proposeL2Output_wrongFork_reverts() (gas: 28984)
 L2OutputOracleTest:test_proposeWithBlockhashAndHeight_succeeds() (gas: 95253)
 L2OutputOracleUpgradeable_Test:test_initValuesOnProxy_succeeds() (gas: 26208)

packages/contracts-bedrock/contracts/L1/L2OutputOracle.sol

@@ -97,10 +97,7 @@ contract L2OutputOracle is Initializable, Semver {
         uint256 _finalizationPeriodSeconds
     ) Semver(1, 2, 0) {
         require(_l2BlockTime > 0, "L2OutputOracle: L2 block time must be greater than 0");
-        require(
-            _submissionInterval > _l2BlockTime,
-            "L2OutputOracle: submission interval must be greater than L2 block time"
-        );
+        require(_submissionInterval > 0, "L2OutputOracle: submission interval must be greater than 0");
 
         SUBMISSION_INTERVAL = _submissionInterval;
         L2_BLOCK_TIME = _l2BlockTime;

packages/contracts-bedrock/contracts/test/L2OutputOracle.t.sol

@@ -47,21 +47,11 @@ contract L2OutputOracleTest is L2OutputOracle_Initializer {
         });
     }
 
-    function testFuzz_constructor_submissionIntervalLteL2BlockTime_reverts(
-        uint256 _submissionInterval,
-        uint256 _l2BlockTime
-    ) external {
-        // Bound the _l2blockTime to be in the range of [1, type(uint256).max]
-        _l2BlockTime = bound(_l2BlockTime, 1, type(uint256).max);
-        // Roll the block number to _l2blockTime (the starting L2 timestamp must be less than or equal to the current time)
-        vm.roll(_l2BlockTime);
-        // Bound _submissionInterval to be less than or equal to _l2BlockTime
-        _submissionInterval = bound(_submissionInterval, 0, _l2BlockTime);
-
-        vm.expectRevert("L2OutputOracle: submission interval must be greater than L2 block time");
+    function test_constructor_submissionInterval_reverts() external {
+        vm.expectRevert("L2OutputOracle: submission interval must be greater than 0");
         new L2OutputOracle({
-            _submissionInterval: _submissionInterval,
-            _l2BlockTime: _l2BlockTime,
+            _submissionInterval: 0,
+            _l2BlockTime: l2BlockTime,
             _startingBlockNumber: startingBlockNumber,
             _startingTimestamp: block.timestamp,
             _proposer: proposer,