After https://github.com/0xMiden/compiler/pull/896 is merged. Migrate the integration tests to the new Mockchain API introduced in the https://github.com/0xMiden/protocol/pull/2502. @lima-limon-inc