Changed over to alloc/tick, discussed problems with widening with compilation.
Claim that church was worst performing was bogus. Cleaned up some grammar.
Merge.