Currently working on a CLI tool that performs property-based testing from Arazzo documents: https://github.com/IgnacioGoldchluk/cuerdo