Perf

Recorded benchmarks. Ratios are against the baseline column of the same row, in the same run; absolute numbers depend on the machine load printed with each table. The sourcing badge says how well the numbers are sourced.