Property-based testing as executable specs for agentic coding