chore: Restore contract verification tests

[ly0va]

What ❔

• restoring contract verification tests
• bumping hardhat and hardhat-vyper

Why ❔

A bug in hardhat-vyper was fixed, hence we can compile vyper again.

Checklist

• PR title corresponds to the body of PR (we generate changelog entries from PRs).
• Tests for the changes have been added / updated.
• Documentation comments have been added / updated.
• Code has been formatted via zk fmt and zk lint.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (ba88f67) 35.85% compared to head (f810efa) 35.88%.
Report is 6 commits behind head on main.

❗ Current head f810efa differs from pull request most recent head 2211946. Consider uploading reports for the commit 2211946 to get more accurate results

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #419      +/-   ##
==========================================
+ Coverage   35.85%   35.88%   +0.02%     
==========================================
  Files         519      519              
  Lines       27828    27828              
==========================================
+ Hits         9978     9985       +7     
+ Misses      17850    17843       -7     

see 2 files with indirect coverage changes

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