test.check.parallel: use an executor, sliding window.

Speculatively executes up to `parallelism` elements ahead, on demand.
Prevents the buffer stalls we saw with the previous implementation.
Fix parallel edge-cases