pub fn verify_account_balance<F>( account_state_with_proof: &AccountStateWithProof, f: F ) -> Result<()>where F: Fn(u64) -> bool,