Clean-up the push method in the merge_sorter class.
minor merge_sorter optimizations.