measure sewing prover performance; fix concurrency issue