Downloadable software for operational verification, payment-system analysis, evidence-backed reporting, and comparing expected system behavior against actual system behavior