Use tail calls or explicit loops for better performance

[michaelsproul]

Pretty sure the action part of the traversal traits is killing performance by disabling tail call optimisation. So far experiments to make the remove traversal tail-recursive have been unsuccessful, and it's tempting to resort to unsafe code.

[michaelsproul]

Done