Feat/598 soundness alerting

[thedarkjester]

This PR implements issue(s) #598

Checklist

• I wrote new tests for my new core changes.
• I have successfully ran tests, style checker and build against my new changes locally.
• I have informed the team of any breaking changes if there are any.

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 68.51%. Comparing base (c083606) to head (3708e7e).

Additional details and impacted files

@@             Coverage Diff              @@
##               main     #662      +/-   ##
============================================
+ Coverage     68.46%   68.51%   +0.05%     
  Complexity     1185     1185              
============================================
  Files           323      323              
  Lines         13130    13149      +19     
  Branches       1318     1320       +2     
============================================
+ Hits           8989     9009      +20     
+ Misses         3590     3589       -1     
  Partials        551      551              

Flag	Coverage Δ		*Carryforward flag
hardhat	98.65% <100.00%> (+0.13%)	⬆️
kotlin	66.11% <ø> (ø)		Carriedforward from 4dba36a

*This pull request uses carry forward flags. Click here to find out more.

Files with missing lines	Coverage Δ
contracts/src/bridging/token/TokenBridge.sol	100.00% <ø> (ø)
contracts/src/libraries/EfficientKeccak.sol	100.00% <100.00%> (ø)
contracts/src/messaging/l1/L1MessageManager.sol	100.00% <100.00%> (ø)
contracts/src/messaging/l2/L2MessageManager.sol	100.00% <100.00%> (ø)
...c/messaging/libraries/SparseMerkleTreeVerifier.sol	100.00% <100.00%> (ø)
contracts/src/rollup/LineaRollup.sol	98.82% <100.00%> (+0.78%)	⬆️
contracts/src/rollup/ZkEvmV2.sol	100.00% <100.00%> (ø)