update distribution, use web workers for browser benchmarks