[KGA-26] [KGA-17] feat: add checks on Starknet return values for DualVMToken

[enitrat]

https://github.com/code-423n4/2024-09-kakarot-findings/issues/51
https://github.com/code-423n4/2024-09-kakarot-findings/issues/42

Checks the return value for DualVMToken. If the SN call returned false, panicking the EVM call will make the starknet tx revert as a side effect.

[notion-workspace]

Return value of transfer and transferFrom not checked in DualVmToken contract

[notion-workspace]

Return value of ERC-20 operations is not checked

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 63.8%. Comparing base (0fbea3a) to head (7bb2860).
Report is 5 commits behind head on main.

Additional details and impacted files

@@          Coverage Diff          @@
##            main   #1616   +/-   ##
=====================================
  Coverage   63.7%   63.8%           
=====================================
  Files         44      44           
  Lines       8362    8363    +1     
=====================================
+ Hits        5332    5337    +5     
+ Misses      3030    3026    -4     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.