feat(ctb): Add constructor check on threshold

packages/contracts-bedrock/src/Safe/LivenessModule.sol

@@ -54,8 +54,11 @@ contract LivenessModule is ISemver {
         LIVENESS_INTERVAL = _livenessInterval;
         FALLBACK_OWNER = _fallbackOwner;
         MIN_OWNERS = _minOwners;
+        address[] memory owners = _safe.getOwners();
+        require(_minOwners < owners.length, "LivenessModule: minOwners must be less than the number of owners");
         require(
-            _minOwners < _safe.getOwners().length, "LivenessModule: minOwners must be less than the number of owners"
+            _safe.getThreshold() == get75PercentThreshold(owners.length),
+            "LivenessModule: Safe must have a threshold of 75% of the number of owners"
         );
     }
 
@@ -161,7 +164,7 @@ contract LivenessModule is ISemver {
         uint256 threshold = SAFE.getThreshold();
         require(
             threshold == get75PercentThreshold(numOwners),
-            "LivenessModule: threshold must be 75% of the number of owners"
+            "LivenessModule: Safe must have a threshold of 75% of the number of owners"
         );
 
         // Check that the guard has not been changed

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

@@ -219,7 +219,7 @@ contract LivenessModule_RemoveOwners_TestFail is LivenessModule_TestInit {
         ownersToRemove[0] = safeInstance.owners[0];
         prevOwners[0] = ownersToRemove[0]; // incorrect.
 
-        vm.warp(block.timestamp + livenessInterval);
+        vm.warp(block.timestamp + livenessInterval + 1);
         vm.expectRevert("LivenessModule: failed to remove owner");
         livenessModule.removeOwners(prevOwners, ownersToRemove);
     }
@@ -237,7 +237,7 @@ contract LivenessModule_RemoveOwners_TestFail is LivenessModule_TestInit {
         // Incorrectly set the final owner to address(0)
         ownersToRemove[ownersToRemove.length - 1] = address(0);
 
-        vm.warp(block.timestamp + livenessInterval);
+        vm.warp(block.timestamp + livenessInterval + 1);
         vm.expectRevert("LivenessModule: failed to swap to fallback owner");
         livenessModule.removeOwners(prevOwners, ownersToRemove);
     }
@@ -253,7 +253,7 @@ contract LivenessModule_RemoveOwners_TestFail is LivenessModule_TestInit {
         }
         address[] memory prevOwners = _getPrevOwners(ownersToRemove);
 
-        vm.warp(block.timestamp + livenessInterval);
+        vm.warp(block.timestamp + livenessInterval + 1);
         vm.expectRevert(
             "LivenessModule: Safe must have the minimum number of owners or be owned solely by the fallback owner"
         );