Add documentation for new backedge mass propagation in irregular loops.