[Feat] Floating pragma for inherited contracts

[kyzooghost]

This PR implements issue(s) #616

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.42%. Comparing base (253a51a) to head (d9eec79).
Report is 1 commits behind head on main.

Additional details and impacted files

@@             Coverage Diff              @@
##               main     #630      +/-   ##
============================================
+ Coverage     68.39%   68.42%   +0.03%     
- Complexity     1181     1182       +1     
============================================
  Files           323      323              
  Lines         13125    13125              
  Branches       1316     1316              
============================================
+ Hits           8977     8981       +4     
+ Misses         3595     3591       -4     
  Partials        553      553              

Flag	Coverage Δ		*Carryforward flag
hardhat	98.94% <ø> (ø)
kotlin	66.04% <ø> (+0.03%)	⬆️	Carriedforward from ccc1f92

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

Files with missing lines	Coverage Δ
...ntracts/src/libraries/EfficientLeftRightKeccak.sol	100.00% <ø> (ø)
...ontracts/src/libraries/TransientStorageHelpers.sol	100.00% <ø> (ø)
contracts/src/messaging/MessageServiceBase.sol	100.00% <ø> (ø)
contracts/src/messaging/l1/L1MessageManager.sol	100.00% <ø> (ø)
contracts/src/messaging/l1/L1MessageService.sol	100.00% <ø> (ø)
...ntracts/src/messaging/l1/v1/L1MessageManagerV1.sol	100.00% <ø> (ø)
...ntracts/src/messaging/l1/v1/L1MessageServiceV1.sol	100.00% <ø> (ø)
contracts/src/messaging/l2/L2MessageManager.sol	100.00% <ø> (ø)
...ntracts/src/messaging/l2/v1/L2MessageManagerV1.sol	100.00% <ø> (ø)
...ntracts/src/messaging/l2/v1/L2MessageServiceV1.sol	100.00% <ø> (ø)
... and 7 more

... and 2 files with indirect coverage changes