algorithm.tex: Add more on recent code changes

Specifically, the sections on Rebalancing and Overflow have been
updated, additional messages have been added to the section describing
messages in the system, and the message passing argument for correctness
has been expanded.