Theory and Practice of .NET Benchmarking