fix: Various pessimistic proofs fixes and adaption to kurtosis-cdk pessimistic proof branch

[goran-ethernal]

Description

This PR includes:

1. Fix for replacing InError certificates. When a certificate is marked as InError on agglayer, we need to build a new one with the same height, that includes its bridges and claims, plus new ones that we saw in the meantime.
2. Fix for checking if Candidate and Proven certificates were also settled on the agglayer, because we cannot send a new one, until the previous one is either marked as InError or Settled.
3. Adapting local_config script to the new kurtosis-cdk version.
4. Fix where aggsender sent nil for imported bridge exits when it doesnt have any claims.
5. Fix where we didn't rollback db transaction in the the aggsender_storage.

Config changes

Parameter SaveCertificatesToFiles (bool) have been changed by SaveCertificatesToFilesPath: if is = "" is disabled, if not it write certificated in the specific path

[aggsender]
SaveCertificatesToFilesPath = ""

[sonarcloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
83.8% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarCloud