Measured effect of merging with muOr branch

The speedup for the (as yet unoptimized) muOr branch is 12.3x (down from
13.8x, or some 10% loss).