Bump version of forge-std and kontrol-cheatcodes in integration suite

[anvacaru]

Changes:

1. bringing forge-std and kontrol-cheatcodes to latest version.
2. fixing most of the compilation warnings in the test suite.
3. Changes to some contracts:

• AddrTest:
  • removed redundant and skipped tests
  • merged individual small tests together
• ContractToRecordState.sol:
  • uncommented unsupported call.
• Store and SymbolicStorage:
  • refactored duplicated contract.
• SignTest:
  • skipped but implemented because failing
• Setup2Test:
  • merged in setupTest
• Preconditions.t.sol
  • removed as duplicated test of testSetupData
  • was also missing from test-prove-all
• Prank tests:
  • remove duplicated tests and unused contract
  • add setup function
• Expect revert test:
  • add setup
• BlockParams Test
  • collapse tests in a single one
  • replace the trace test
• AccountParams test
  • merge nonce tests