[Certora] Timelock computations

[QGarchery]

What it does:

• define and verify computations for timelock periods, during which we know the value won't change. See the following functions in MorphoHarness.sol:
  • nextGuardianUpdateTime
  • nextCapIncreaseTime
  • nextTimelockDecreaseTime
  • nextRemovableTime
• specialize solc version so that it is easier to work with multiple projects (can always be overriden on the CLI)
• remove unnecessary parametric contract setting