add python timing instrumentation
tweak style