[replay-verify] Add an option to re-validate all move modules in the snapshot

[runtian-zhou]

Description

Add a validate-modules flag to the replay-verify tool to scan over all the published move modules and run it with the lastest move bytecode verifier.

Test Plan

Ran it with the latest snapshots and confirmed the modules are reported correctly.

[runtian-zhou]

The next step is to set up a triggerable CI job for this command so that we can use it for hotfix.

[msmouse]

will be tricky to understand how to use (pass in a relatively new --start-version so the latest snapshot will be checked), but looks like works for your purpose

[github-actions]

✅ Forge suite land_blocking success on 000969b2e30edd4b97736a53edec5903ccb45204

performance benchmark with full nodes : 6881 TPS, 5771 ms latency, 8100 ms p99 latency,no expired txns
Test Ok

• Grafana dashboard
• Humio Logs
• Test runner output
• Test run is land-blocking

[github-actions]

✅ Forge suite compat success on testnet_2d8b1b57553d869190f61df1aaf7f31a8fc19a7b ==> 000969b2e30edd4b97736a53edec5903ccb45204

Compatibility test results for testnet_2d8b1b57553d869190f61df1aaf7f31a8fc19a7b ==> 000969b2e30edd4b97736a53edec5903ccb45204 (PR)
1. Check liveness of validators at old version: testnet_2d8b1b57553d869190f61df1aaf7f31a8fc19a7b
compatibility::simple-validator-upgrade::liveness-check : 7386 TPS, 5258 ms latency, 6700 ms p99 latency,no expired txns
2. Upgrading first Validator to new version: 000969b2e30edd4b97736a53edec5903ccb45204
compatibility::simple-validator-upgrade::single-validator-upgrade : 4895 TPS, 8319 ms latency, 10500 ms p99 latency,no expired txns
3. Upgrading rest of first batch to new version: 000969b2e30edd4b97736a53edec5903ccb45204
compatibility::simple-validator-upgrade::half-validator-upgrade : 4418 TPS, 9291 ms latency, 12300 ms p99 latency,no expired txns
4. upgrading second batch to new version: 000969b2e30edd4b97736a53edec5903ccb45204
compatibility::simple-validator-upgrade::rest-validator-upgrade : 6794 TPS, 5692 ms latency, 10200 ms p99 latency,no expired txns
5. check swarm health
Compatibility test for testnet_2d8b1b57553d869190f61df1aaf7f31a8fc19a7b ==> 000969b2e30edd4b97736a53edec5903ccb45204 passed
Test Ok

• Grafana dashboard
• Humio Logs
• Test runner output
• Test run is land-blocking