chore(contracts): Upgrade Verax to V9 on Linea Sepolia

[alainncls]

What does this PR do?

• Upgrades the Verax core contracts to V9 on Linea Sepolia
• Handles the constructor param for PortalRegistry in the upgrade scripts
• Lowers the optimizer runs to make the PortalRegistry deployable

Related ticket

Fixes #706

Type of change

• Chore
• Bug fix
• New feature
• Documentation update

Check list

• Unit tests for any smart contract change
• Contracts and functions are documented

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 96.69%. Comparing base (e99f776) to head (ccf23db).
Report is 26 commits behind head on dev.

Additional details and impacted files

@@            Coverage Diff             @@
##              dev     #725      +/-   ##
==========================================
+ Coverage   92.07%   96.69%   +4.61%     
==========================================
  Files          30       31       +1     
  Lines         492      514      +22     
  Branches      112      121       +9     
==========================================
+ Hits          453      497      +44     
+ Misses         39       17      -22     

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