Lightweight property-based testing at Row Zero

How we verify correctness