Redo the summation logic: strive for some degree of balance on the generated Wallace tree, emit an `$add` cell for the final summation.