Implement Antithesis workloads by turning the property catalog into SDK assertions and test commands, then refine coverage after triage.
