Added benchmarking facility - even numbers for search timeout setting use the new timeout codec while odd numbers use the normal Codecs (and so fail to kill runaway queries in time).
By setting the appropriate value you can contrast the performance of the new instrumented Codec wrapper and the existing raw Codecs