Added instrumentation primitives,as well as an utility to print a nice
report from profiling information.
Temporarly disable blocking steps until explicitness analysis in the
rule compiler considers shallow markers.