MTCannon: fix AssertEVMReverts.

[joohhnnn]

The current implementation of AssertEVMReverts constructs only memProof without building threadWitness, leading to incomplete data for the entire step. For instance, the TestEVMFault test using AssertEVMReverts aims to test for an invalid instruction error in the EVM (MIPS), but the actual error triggered in the EVM is a check that there is enough calldata or invalid thread witness due to incorrect construction of data. This error went undetected because AssertEVMReverts does not verify the actual revert reason.

To address this issue, I propose a two-step fix:

1. Modify AssertEVMReverts to correctly construct data related to threadWitness.
2. Add a parameter(expectedReason) to AssertEVMReverts to enable verification of the specific EVM revert information and update the tests that use AssertEVMReverts.

This fix will be implemented across two separate PRs.