Hmmm, this seems wrong somehow. If any outputs are in the deadband then shouldn't they be considered saturated in the above low-side checks, and scaled to the deadband? If so, then this whole loop goes away and our mixer mixes a tiny bit faster.