Resurrect ticky-ticky profiling. Not quite polished yet, but it compiles and produces some reasonable-looking stats.