MTCannon: add EmptyThreadStack test

[joohhnnn]

I've added tests for the EmptyThreadStack scenario based on Issue 11977. I'm using defer and strings for checking because I didn't see panic handling in AssertEVMReverts, and I'm unsure if modifying AssertEVMReverts directly is appropriate.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 78.87%. Comparing base (718b9b0) to head (9ce742e).
Report is 4 commits behind head on develop.

Additional details and impacted files

@@             Coverage Diff             @@
##           develop   #12082      +/-   ##
===========================================
- Coverage    79.10%   78.87%   -0.24%     
===========================================
  Files           41       41              
  Lines         3437     3437              
===========================================
- Hits          2719     2711       -8     
- Misses         548      557       +9     
+ Partials       170      169       -1     

Flag	Coverage Δ
cannon-go-tests	78.87% <ø> (-0.24%)	⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

see 1 file with indirect coverage changes

[Inphi]

@joohhnnn Thanks for working on this.

We also want to assert that the EVM (MIPS2.sol) reverts when the stack is empty. You can use AssertEVMReverts to do this as it checks for EVM reverts in MIPS2.sol.

[Inphi]

For the case where shouldPanic == false, you should use testutil.ValidateEVM as is done here. AssertEVMReverts doesn't actually panic. But rather runs a require assertion against the EVM execution status.