verifies

Verifies the ledger/transaction, throws if the verification fails.