mipsevm,contracts: fix onchain read/write memory proof, improve unicorn tooling mips steps and update tests

contracts: simplify MIPS.sol with in-memory State to avoid MPT proofs of the tiny state like registers, which is smaller than the state-proof data anyway. This has a stack-too-deep error due to variable-count limit, but that can be fixed