bump emulator to 0.20

[mpolitzer]

chore: update emulator submodule, link omp
chore: update step submodule
chore: update bindings, fix tests
chore: update CHECKPOINT_ADDRESS

• requires emulator 0.20 release

some functions renamed on solidity step: https://github.com/cartesi/machine-solidity-step/pull/85/changes

[edubart]

Emulator 0.20.0 and was released, so I think this can be resumed.

[Copilot]

Pull request overview

This PR upgrades the Cartesi machine emulator stack to 0.20.0 and updates associated bindings, scripts, and tests to match renamed APIs / changed artifacts (e.g., hash tree root extraction and backing store config changes).

Changes:

• Bump emulator/tooling versions to 0.20.0 across Docker, CI workflows, workspace metadata, and setup scripts.
• Update Rust/Lua/Solidity integrations for updated emulator APIs (proof API, address range constants, backing store config, checkpoint/revert naming).
• Adjust test/program build scripts to new CLI flags and new root-hash artifact (hash_tree.sht).

Reviewed changes

Copilot reviewed 28 out of 30 changed files in this pull request and generated 4 comments.

Show a summary per file

File	Description
test/programs/justfile	Updates downloaded deps and cartesi-machine CLI args; patches honeypot Makefile to new data_filename format.
prt/tests/rollups/test_env.lua	Formatting change for long constructor calls.
prt/tests/rollups/test_cases/simple.lua	Minor formatting change to input list.
prt/tests/rollups/justfile	Switches template machine hash extraction to hash_tree.sht offset-based method.
prt/tests/rollups/dave/node.lua	Adds more logging and retry diagnostics around commitment extraction.
prt/tests/common/runners/helpers/patched_commitment.lua	Minor whitespace/comment alignment.
prt/measure_constants/Dockerfile	Bumps emulator image to 0.20.0.
prt/contracts/src/tournament/libs/Match.sol	Formatting-only change to function signature layout.
prt/contracts/src/state-transition/CmioStateTransition.sol	Renames checkpoint hash calls to revert root hash calls.
prt/contracts/src/state-transition/CartesiStateTransition.sol	Updates comment to reflect renamed revert-root API.
prt/client-rs/core/src/machine/instance.rs	Updates proof() calls to new signature including root size constant.
prt/client-lua/cryptography/hash.lua	Switches Lua keccak binding to cartesi.keccak256.
prt/client-lua/computation/machine.lua	Switches keccak binding to cartesi.keccak256.
machine/rust-bindings/cartesi-machine/src/machine.rs	Updates Rust bindings to new C API (create/load/store/proof/address ranges/replace memory range).
machine/rust-bindings/cartesi-machine/src/constants.rs	Updates constants to new naming/casts consistent with updated sys bindings.
machine/rust-bindings/cartesi-machine/src/config/machine.rs	Introduces BackingStoreConfig and updates config schema fields/defaulting.
machine/rust-bindings/cartesi-machine-sys/build.rs	Bumps embedded emulator version and adds OpenMP linker configuration.
machine/rust-bindings/Cargo.toml	Bumps workspace version to 0.20.0.
justfile	Updates generated-files diff version/hash and parallelizes emulator build.
cartesi-rollups/node/state-manager/src/sql/test_helper.rs	Updates machine RAM config to new backing_store schema.
cartesi-rollups/node/state-manager/src/rollups_machine.rs	Updates proof call to new signature and imports root size constant.
cartesi-rollups/node/state-manager/src/persistent_state_access.rs	Updates machine RAM config to new backing_store schema in tests.
cartesi-rollups/node/blockchain-reader/src/test_utils.rs	Reads initial root hash from hash_tree.sht at fixed offset.
cartesi-rollups/node/blockchain-reader/src/lib.rs	Updates machine RAM config to new backing_store schema in tests.
cartesi-rollups/contracts/test/DaveConsensus.t.sol	Updates constants to new address-range / hash-tree word-size names.
cartesi-rollups/contracts/src/DaveConsensus.sol	Updates constants to new address-range / hash-tree word-size names.
.github/workflows/build.yml	Bumps installed Cartesi Machine version and generated-files diff URL/hash.
.github/actions/cartesi-machine/action.yml	Updates default Cartesi Machine version to 0.20.0.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[mpolitzer]

Improvements planned for a separate PR: #262

[guidanoli]

@mpolitzer Please make this PR point to next/3.0.

[mpolitzer]

rebase on top of next/3.0 is WIP here: https://github.com/cartesi/dave/tree/feature/bump-emulator-3r (done, removed)
thanks for the help with the rebase! @guidanoli