Dont forget a diode in anti-parallel with your output transistor, so if your output voltage is higher then the input cap voltage it wont pop your output transistor. Ive already had to buy a replacement 2n3055 for my $60 cheapie bench power supply when I was using it to charge a (large) battery, and when I was done, I flipped the switch to turn it off, and then started to disconnect stuff. It didnt have an output disconnect, so generally the power switch worked fine for turning on and off. Well after that, it didnt work right, and a bit of trouble shooting and I figured out that it was the transistor mis-behaving. I still need to bodge in a diode, but it worked just fine after replacing the 3055.
Also, and resistors directly across the output help when you turn down the power supply output voltage, especially since your outputs are controlled by a DAC, large steps with a minimal load will take quite a while to settle, even with only a 470uF on the output. In an older HP service manual I dug though, there was a whole "down programming" circuit, for dropping the output voltage quickly when you were remotely controlling the power supply.
Perhaps use some of the unused op-amps to drive a BJT+current limiting resistor as a pull down the output if the voltage control amp is trying to drive the output transistors into cutoff instead of biasing it into a linear region.