perf: revert health script change

Author: QGarchery

certora/scripts/verifyHealth.sh

@@ -6,6 +6,6 @@ certoraRun \
     certora/harness/MorphoHarness.sol \
     src/mocks/OracleMock.sol \
     --verify MorphoHarness:certora/specs/Health.spec \
-    --prover_args '-smt_hashingScheme plaininjectivity -mediumTimeout 30' \
+    --prover_args '-smt_hashingScheme plaininjectivity' \
     --msg "Morpho Blue Health Check" \
     "$@"