Traces that indicate whether locks have been propagated

The statistics and accounting traces indicate the number of global locks that have been propagated to XES.

The ratio of this number to the total number of global locks requested reflects the effects of explicit hierarchical locking and other locking optimizations.