e2e tests for keyless feature gating

[alinush]

Description

This PR:

• makes the feature gating for keyless TXNs a bit more readable, by moving it in AptosVM::validate_signed_transaction
• adds tests for keyless feature gating working properly in e2e-move-tests
• refactors the MoveHarness to work with keyless accounts, not just Ed25519 accounts

[trunk-io]

⏱️ 25h 56m total CI duration on this PR

Job	Cumulative Duration	Recent Runs
rust-unit-tests	10h 10m	⬜ ⬜ ⬜ 🟩 🟩 (+9 more)
windows-build	5h 1m	🟩 🟩 🟩 🟩 🟩 (+9 more)
rust-move-unit-coverage	2h 13m	⬜ ⬜ ⬜ ⬜ 🟩 (+5 more)
rust-move-tests	2h 7m	⬜ ⬜ ⬜ ⬜ 🟩 (+5 more)
rust-lints	1h 25m	⬜ 🟥 🟥 🟩 🟩 (+9 more)
run-tests-main-branch	1h 18m	🟩 🟩 🟩 🟩 🟩 (+9 more)
check	56m	🟩 🟩 🟩 🟩 🟩 (+9 more)
general-lints	29m	🟩 🟩 🟩 🟩 🟩 (+9 more)
check-dynamic-deps	28m	🟩 🟩 🟩 🟩 🟩 (+9 more)
rust-smoke-tests	28m	🟩
execution-performance / single-node-performance	20m	🟩
forge-e2e-test / forge	14m	🟩
rust-images / rust-all	13m	🟩
forge-compat-test / forge	13m	🟩
cli-e2e-tests / run-cli-tests	6m	🟩
semgrep/ci	6m	🟩 🟩 🟩 🟩 🟩 (+9 more)
file_change_determinator	3m	🟩 🟩 🟩 🟩 🟩 (+9 more)
file_change_determinator	2m	🟩 🟩 🟩 🟩 🟩 (+9 more)
node-api-compatibility-tests / node-api-compatibility-tests	51s	🟩
permission-check	44s	🟩 🟩 🟩 🟩 🟩 (+9 more)
permission-check	39s	🟩 🟩 🟩 🟩 🟩 (+9 more)
permission-check	38s	🟩 🟩 🟩 🟩 🟩 (+9 more)
permission-check	36s	🟩 🟩 🟩 🟩 🟩 (+9 more)
file_change_determinator	10s	🟩
execution-performance / file_change_determinator	9s	🟩
determine-docker-build-metadata	3s	🟩
permission-check	2s	🟩

_{settings ⋅ feedback ⋅ docs ⋅ learn more about trunk.io}

[codecov]

Codecov Report

Attention: Patch coverage is 0% with 14 lines in your changes are missing coverage. Please review.

Project coverage is 64.0%. Comparing base (bf75902) to head (9deead1).
Report is 3 commits behind head on main.

Files	Patch %	Lines
aptos-move/aptos-vm/src/aptos_vm.rs	0.0%	10 Missing ⚠️
aptos-move/aptos-vm/src/keyless_validation.rs	0.0%	2 Missing ⚠️
types/src/keyless/configuration.rs	0.0%	1 Missing ⚠️
types/src/keyless/groth16_vk.rs	0.0%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff            @@
##             main   #12296     +/-   ##
=========================================
- Coverage    64.1%    64.0%   -0.1%     
=========================================
  Files         794      794             
  Lines      176445   176612    +167     
=========================================
  Hits       113195   113195             
- Misses      63250    63417    +167     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[github-actions]

✅ Forge suite compat success on aptos-node-v1.9.5 ==> 9deead1776093f06dcf1357678ea1794e9aa1fb8

Compatibility test results for aptos-node-v1.9.5 ==> 9deead1776093f06dcf1357678ea1794e9aa1fb8 (PR)
1. Check liveness of validators at old version: aptos-node-v1.9.5
compatibility::simple-validator-upgrade::liveness-check : committed: 6475 txn/s, latency: 5005 ms, (p50: 4800 ms, p90: 9600 ms, p99: 10200 ms), latency samples: 233100
2. Upgrading first Validator to new version: 9deead1776093f06dcf1357678ea1794e9aa1fb8
compatibility::simple-validator-upgrade::single-validator-upgrade : committed: 695 txn/s, latency: 35200 ms, (p50: 37600 ms, p90: 54300 ms, p99: 57300 ms), latency samples: 58440
3. Upgrading rest of first batch to new version: 9deead1776093f06dcf1357678ea1794e9aa1fb8
compatibility::simple-validator-upgrade::half-validator-upgrade : committed: 354 txn/s, submitted: 576 txn/s, expired: 221 txn/s, latency: 28959 ms, (p50: 29500 ms, p90: 53100 ms, p99: 65900 ms), latency samples: 33007
4. upgrading second batch to new version: 9deead1776093f06dcf1357678ea1794e9aa1fb8
compatibility::simple-validator-upgrade::rest-validator-upgrade : committed: 1967 txn/s, latency: 14540 ms, (p50: 15100 ms, p90: 19000 ms, p99: 19900 ms), latency samples: 94440
5. check swarm health
Compatibility test for aptos-node-v1.9.5 ==> 9deead1776093f06dcf1357678ea1794e9aa1fb8 passed
Test Ok

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

[github-actions]

✅ Forge suite realistic_env_max_load success on 9deead1776093f06dcf1357678ea1794e9aa1fb8

two traffics test: inner traffic : committed: 7461 txn/s, latency: 5248 ms, (p50: 5100 ms, p90: 6000 ms, p99: 12300 ms), latency samples: 3230840
two traffics test : committed: 100 txn/s, latency: 1973 ms, (p50: 1800 ms, p90: 2100 ms, p99: 7200 ms), latency samples: 1720
Latency breakdown for phase 0: ["QsBatchToPos: max: 0.243, avg: 0.205", "QsPosToProposal: max: 0.344, avg: 0.276", "ConsensusProposalToOrdered: max: 0.475, avg: 0.442", "ConsensusOrderedToCommit: max: 0.326, avg: 0.315", "ConsensusProposalToCommit: max: 0.791, avg: 0.757"]
Max round gap was 1 [limit 4] at version 1588102. Max no progress secs was 5.743828 [limit 15] at version 1588102.
Test Ok

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