Get rid of super expensive glFinish calls in mainloop.

Keep them when profiling, now tied to benchmarking mode option.