Update benchmarks with bsongen timings (see #7).