Use https://github.com/stellar/stellar-core/pull/5009 to verify that the total supply of XLM in the live buckets and hot archives matches the ledger header.