abstract fun verifies(): EnforceVerifyOrFail
Verifies the ledger/transaction, throws if the verification fails.