feat(nano): validate types across contracts

[glevco]

Motivation

This PR adds protections for args and return types in calls across contracts. It resolves https://github.com/HathorNetwork/nano-hathor-core/issues/228, read its description for more details.

Acceptance Criteria

• Refactor Runner to add validation of a method's args and return types when making calls across contracts.
• Refactor method.py:
  • Add support for serializing both args and kwargs in Method, which is necessary for validating calls across contracts.
  • Implement ReturnOnly to support validating the fallback method.
  • Unify exception handling.
• Remove kwargs from CallRecord and NCCallBeginEntry since they're now merged with args.

Checklist

• If you are requesting a merge into master, confirm this code is production-ready and can be included in future releases as soon as it gets merged

[github-actions]

Bencher Report

Branch	feat/nano/types-across-contracts
Testbed	ubuntu-22.04

Click to view all benchmark results

Benchmark	Latency	Benchmark Result minutes (m) (Result Δ%)	Lower Boundary minutes (m) (Limit %)	Upper Boundary minutes (m) (Limit %)
sync-v2 (up to 20000 blocks)	📈 view plot 🚷 view threshold	1.68 m (+2.31%) Baseline: 1.64 m	1.48 m (87.96%)	1.80 m (93.01%)

🐰 View full continuous benchmarking report in Bencher

[codecov]

Codecov Report

❌ Patch coverage is 80.20833% with 19 lines in your changes missing coverage. Please review.
✅ Project coverage is 85.68%. Comparing base (13b193d) to head (18e90a1).
⚠️ Report is 1 commits behind head on master.

Files with missing lines	Patch %	Lines
hathor/nanocontracts/method.py	80.64%	7 Missing and 5 partials ⚠️
hathor/nanocontracts/runner/runner.py	77.41%	4 Missing and 3 partials ⚠️

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #1334   +/-   ##
=======================================
  Coverage   85.67%   85.68%           
=======================================
  Files         425      425           
  Lines       32164    32217   +53     
  Branches     5002     5016   +14     
=======================================
+ Hits        27557    27604   +47     
+ Misses       3605     3604    -1     
- Partials     1002     1009    +7     

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

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.