[KGA-80] [KGA-137] [KGA-126] [KGA-109] [KGA-83] fix: ecrecover validation

[enitrat]

Fixes validation of ecrecover r and s values.
Fixes the library call 'mock' to throw error if an invalid values reaches this point.

Fix for: code-423n4/2024-09-kakarot-findings#13

---

This change is 

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 63.4%. Comparing base (6cbc820) to head (a7751e2).
Report is 4 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##            main   #1565     +/-   ##
=======================================
- Coverage   63.4%   63.4%   -0.1%     
=======================================
  Files         44      44             
  Lines       8335    8348     +13     
=======================================
+ Hits        5292    5298      +6     
- Misses      3043    3050      +7     

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

[notion-workspace]

Missing enforcment of valid r range in ecrecover

[notion-workspace]

Insufficient check on s-value can cause signature malleability

[notion-workspace]

Lack of Validation for r and s in ec_recover Precompile Allows Signature Forgery and Denial of Service

[notion-workspace]

Missing enforcement of Lower s Value allows for signature malleability

[notion-workspace]

Three valid signatures for the same message