[move] remove framework bloat

framework/libra-framework/sources/modified_source/account.move

@@ -18,15 +18,19 @@ module diem_framework::account {
 
     // use diem_std::debug::print;
 
-    #[test_only]
-    friend diem_framework::diem_account;
     friend diem_framework::coin;
     friend diem_framework::genesis;
-    friend diem_framework::resource_account;
     friend diem_framework::transaction_validation;
     //////// 0L ////////
     friend ol_framework::ol_account;
     friend diem_framework::multisig_account;
+
+    #[test_only]
+    friend diem_framework::diem_account;
+
+    friend diem_framework::resource_account;
+    //////// end 0L ////////
+
     /// Resource representing an account.
     struct Account has key, store {
         authentication_key: vector<u8>,

framework/libra-framework/sources/resource_account.move → framework/libra-framework/sources/modified_source/test_only/resource_account_test_only.move

@@ -1,3 +1,4 @@
+
 /// A resource account is used to manage resources independent of an account managed by a user.
 /// This contains several utilities to make using resource accounts more effective.
 ///
@@ -58,6 +59,7 @@
 ///    module.resource_signer_cap = option::some(resource_signer_cap);
 /// }
 /// ```
+
 module diem_framework::resource_account {
     use std::error;
     use std::signer;

framework/libra-framework/sources/ol_sources/gas_coin.spec.move

@@ -1,4 +1,4 @@
-spec diem_framework::diem_coin {
+spec diem_framework::diem_coin  {
     spec module {
         pragma verify = true;
         pragma aborts_if_is_strict;
@@ -8,7 +8,7 @@ spec diem_framework::diem_coin {
         pragma aborts_if_is_partial;
         let addr = signer::address_of(diem_framework);
         ensures exists<MintCapStore>(addr);
-        ensures exists<coin::CoinInfo<DiemCoin>>(addr);
+        ensures exists<coin::CoinInfo<GasCoin>>(addr);
     }
 
     spec destroy_mint_cap {