Exactly-Once, Always Auditable: Benchmarking the Latency, Throughput, and Evidential Integrity Trade-offs of AWS Serverless Orchestration (Step Functions Express) versus Choreography (EventBridge + Idempotent Lambda) for High-Frequency Payment Settlements | Synapse