mipsevm,contracts: fix Oracle contract, fix oracle witness data encoding, add mem-proof for syscall mem read, implement multi-contract source-map tracing