How extracting an executable spec paradoxically let us 10x our example-driven tests