Add fast summarization for Kontrol proofs

packages/contracts-bedrock/test/kontrol/proofs/OptimismPortal.k.sol

@@ -50,16 +50,10 @@ contract OptimismPortalKontrol is DeploymentSummary, KontrolUtils {
         Types.OutputRootProof memory _outputRootProof =
             Types.OutputRootProof(_outputRootProof0, _outputRootProof1, _outputRootProof2, _outputRootProof3);
 
-        // After deployment, Optimism portal is enabled
-        require(optimismPortal.paused() == false, "Portal should not be paused");
-
         // Pause Optimism Portal
         vm.prank(optimismPortal.GUARDIAN());
         superchainConfig.pause("identifier");
 
-        // Portal is now paused
-        require(optimismPortal.paused(), "Portal should be paused");
-
         // No one can call proveWithdrawalTransaction
         vm.expectRevert("OptimismPortal: paused");
         optimismPortal.proveWithdrawalTransaction(_tx, _l2OutputIndex, _outputRootProof, _withdrawalProof);
@@ -83,16 +77,10 @@ contract OptimismPortalKontrol is DeploymentSummary, KontrolUtils {
         Types.WithdrawalTransaction memory _tx =
             Types.WithdrawalTransaction(_nonce, _sender, _target, _value, _gasLimit, _data);
 
-        // After deployment, Optimism portal is enabled
-        require(optimismPortal.paused() == false, "Portal should not be paused");
-
         // Pause Optimism Portal
         vm.prank(optimismPortal.GUARDIAN());
         superchainConfig.pause("identifier");
 
-        // Portal is now paused
-        require(optimismPortal.paused(), "Portal should be paused");
-
         vm.expectRevert("OptimismPortal: paused");
         optimismPortal.finalizeWithdrawalTransaction(_tx);
     }