Benchmarking correctly is hard (and techniques for doing it better)