Refactor test selection if no --match-test is provided

[palinatolmach]

The logic for selecting tests for verification if no --match-test is provided should be refactored to:

• include tests that start with check and prove, in addition to test, following a similar change in Verify proveX and checkX functions similarly to testX #249
• include test contracts that do not end with Test (e.g., our Optimism proof contract is called OptimismPortalKontrol), but, instead include the contracts located in the test folder

The refactoring should happen in the all_tests function:

   @cached_property
   def all_tests(self) -> list[str]:
       return [
           f'{contract.name_with_path}.{method.signature}'
           for contract in self.contracts.values()
           if contract.name_with_path.endswith('Test')
           for method in contract.methods
           if method.name.startswith('test')
       ]