[KGA-109] [KGA-137] fix: validate s <= N//2 when recovering tx sender

[enitrat]

Fixes the checks on s value when recovering the transaction sender.

https://github.com/code-423n4/2024-09-kakarot-findings/issues/98
https://github.com/code-423n4/2024-09-kakarot-findings/issues/125

[notion-workspace]

Insufficient check on s-value can cause signature malleability

[notion-workspace]

Missing enforcement of Lower s Value allows for signature malleability

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 63.8%. Comparing base (204b3d7) to head (1a628f6).
Report is 6 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##            main   #1635     +/-   ##
=======================================
- Coverage   64.0%   63.8%   -0.2%     
=======================================
  Files         44      44             
  Lines       8331    8347     +16     
=======================================
- Hits        5336    5332      -4     
- Misses      2995    3015     +20     

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

---

🚨 Try these New Features:

• Flaky Tests Detection - Detect and resolve failed and flaky tests
• JS Bundle Analysis - Avoid shipping oversized bundles