fix[contracts]: Remove verifyExclusionProof

[smartcontracts]

Description
Removes Lib_MerkleTrie.verifyExclusionProof and the various references to it. We haven't been using this method at all, I don't see why it needs to remain in the codebase.

Metadata

• Fixes Remove Lib_MerkleTrie.verifyExclusionProof  #770

[changeset-bot]

🦋 Changeset detected

Latest commit: fcd8d9d

The changes in this PR will be included in the next version bump.

This PR includes changesets to release 1 package

Name	Type
@eth-optimism/contracts	Patch

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR

[codecov-commenter]

Codecov Report

Merging #772 (fcd8d9d) into master (34ab776) will increase coverage by 0.24%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           master     #772      +/-   ##
==========================================
+ Coverage   77.53%   77.78%   +0.24%     
==========================================
  Files          48       48              
  Lines        1892     1886       -6     
  Branches      297      297              
==========================================
  Hits         1467     1467              
+ Misses        425      419       -6     

Impacted Files	Coverage Δ
...imistic-ethereum/libraries/trie/Lib_MerkleTrie.sol	74.88% <ø> (+1.01%)	⬆️
...c-ethereum/libraries/trie/Lib_SecureMerkleTrie.sol	78.57% <ø> (+13.86%)	⬆️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update c7d17ca...fcd8d9d. Read the comment docs.

[maurelian]

🚮 🙌