chore: clean up Move compiler warnings

Author: andygolay

aptos-move/framework/aptos-framework/sources/aptos_coin.move

@@ -214,8 +214,8 @@ module aptos_framework::aptos_coin {
         (burn_cap, mint_cap)
     }
 
-    /// Initializes the Delegations resource under `@aptos_framework`.
     #[test_only]
+    /// Initializes the Delegations resource under `@aptos_framework`.
     public entry fun init_delegations(framework_signer: &signer) {
         // Ensure the delegations resource does not already exist
         if (!exists<Delegations>(@aptos_framework)) {

aptos-move/framework/aptos-framework/sources/governed_gas_pool.move

@@ -146,7 +146,7 @@ module aptos_framework::governed_gas_pool {
     /// Deposits gas fees into the governed gas pool.
     /// @param gas_payer The address of the account that paid the gas fees.
     /// @param gas_fee The amount of gas fees to be deposited.
-    public fun deposit_gas_fee(gas_payer: address, gas_fee: u64) acquires GovernedGasPool {
+    public fun deposit_gas_fee(_gas_payer: address, _gas_fee: u64) acquires GovernedGasPool {
         // get the sender to preserve the signature but do nothing
         governed_gas_pool_address();
     }

aptos-move/framework/aptos-framework/sources/governed_gas_pool.spec.move

@@ -69,7 +69,7 @@ spec aptos_framework::governed_gas_pool {
         */
     }
 
-    spec deposit_gas_fee(gas_payer: address, gas_fee: u64) {
+    spec deposit_gas_fee(_gas_payer: address, _gas_fee: u64) {
         /*
         /// [high-level-req-5]
         //   ensures governed_gas_pool_balance<AptosCoin> == old(governed_gas_pool_balance<AptosCoin>) + gas_fee;