Remove the 'v8_corrected' benchmarks and edit associated comments.

I still observe surprising differences in performance profiles between
benchmarks 0, 1, 2 and 4, 5. But the performance reported for
benchmarks 4 and 5 is possible, so I should not assume these are wrong. Maybe on
the contrary benchmarks 0, 1, and 2 show poor results.