Remove some benchmarking code accidentally included in the previous commit.