Fixing staticcall abstraction, test case search, and commenting out bug with solidity

[msooseth]

Description

Turns out our staticcall abstraction messed up the stack. This fixes that. Also:

• There is a known, fixed bug with Solidity and yul and json. I commented out the file that triggers it. Fixed in upcoming solidity.
• The way we were excluding test cases was wrong(!). We used isSubsequenceOf instead of isInfixOf. Wow. Fixed.
• Added some commented-out, but helpful debug code.

Checklist

• tested locally
• added automated tests
• updated the docs
• updated the changelog