Distinguish Byzantine failure from tx bug (RIPD-523)

Compare the built ledger to the validated ledger and log the most significant difference.