Tonight I got the first channel (confusingly mapped to Channel 2, but I have my reasons for this) up and running with the control board. To my utter surprise, the DACs still appear to work, despite having been subjected to 10V for 5 - 10 seconds (when I let the magic smoke out of the AVR). Yay for Microchip! :-) I have not done any accuracy testing on them, so I may still need to replace them if the output voltage is not as accurate as it should be, but for now things look to be pretty good.

Below is a video, followed by some images of the supply in action.

Voltage set with no load:

Shorting the outputs to show current limiting: