Update main.rs

disabled instrumentation in benchmark