Removes an artificial 0.5-second delay the snark worker inserted between processing proof-generation work items to wait for stdout to flush. Proof generation now flows continuously from one work item to the next, reducing idle time and improving snark worker throughput.
