Cleanup, comments, regularize TRACE messages.
Simpler variant on multicast propagation algorithm seems to perform better by being less deterministic. May also be faster.