Preparing Polkadot pallet Balances for Formal Verification

Preparing Polkadot pallet Balances for formal verification by reimplementing it as an Ink! smart contract for isolated analysis.