[Prover][Spec] Fix apply schema

[rahxephon89]

Description

This PR does the following two things in separate commits.

• close [Prover][Bug] requires in a schema are not correctly handled when using "apply ... to ..." #8476
• fix the total supply spec in the coin module

Test Plan

1. aptos move prove in the framework folder
2. add a new test case for the prover test

[junkil-park]

Thanks!

[github-actions]

✅ Forge suite compat success on testnet_2d8b1b57553d869190f61df1aaf7f31a8fc19a7b ==> c452e0c2b59147774631770e1ae3beb4946e40f8

Compatibility test results for testnet_2d8b1b57553d869190f61df1aaf7f31a8fc19a7b ==> c452e0c2b59147774631770e1ae3beb4946e40f8 (PR)
1. Check liveness of validators at old version: testnet_2d8b1b57553d869190f61df1aaf7f31a8fc19a7b
compatibility::simple-validator-upgrade::liveness-check : 9718 TPS, 3823 ms latency, 6000 ms p99 latency,no expired txns
2. Upgrading first Validator to new version: c452e0c2b59147774631770e1ae3beb4946e40f8
compatibility::simple-validator-upgrade::single-validator-upgrade : 5448 TPS, 7340 ms latency, 9800 ms p99 latency,no expired txns
3. Upgrading rest of first batch to new version: c452e0c2b59147774631770e1ae3beb4946e40f8
compatibility::simple-validator-upgrade::half-validator-upgrade : 5717 TPS, 6986 ms latency, 9100 ms p99 latency,no expired txns
4. upgrading second batch to new version: c452e0c2b59147774631770e1ae3beb4946e40f8
compatibility::simple-validator-upgrade::rest-validator-upgrade : 7854 TPS, 4894 ms latency, 8500 ms p99 latency,no expired txns
5. check swarm health
Compatibility test for testnet_2d8b1b57553d869190f61df1aaf7f31a8fc19a7b ==> c452e0c2b59147774631770e1ae3beb4946e40f8 passed
Test Ok

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

[github-actions]

✅ Forge suite land_blocking success on c452e0c2b59147774631770e1ae3beb4946e40f8

performance benchmark : 5498 TPS, 7173 ms latency, 27800 ms p99 latency,(!) expired 249 out of 2348020 txns
Test Ok

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

[github-actions]

✅ Forge suite framework_upgrade success on aptos-node-v1.3.0_3fc3d42b6cfe27460004f9a0326451bcda840a60 ==> c452e0c2b59147774631770e1ae3beb4946e40f8

Compatibility test results for aptos-node-v1.3.0_3fc3d42b6cfe27460004f9a0326451bcda840a60 ==> c452e0c2b59147774631770e1ae3beb4946e40f8 (PR)
Upgrade the nodes to version: c452e0c2b59147774631770e1ae3beb4946e40f8
framework_upgrade::framework-upgrade::full-framework-upgrade : 6026 TPS, 6624 ms latency, 10100 ms p99 latency,no expired txns
5. check swarm health
Compatibility test for aptos-node-v1.3.0_3fc3d42b6cfe27460004f9a0326451bcda840a60 ==> c452e0c2b59147774631770e1ae3beb4946e40f8 passed
Test Ok

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