We used primarily printf()'s (again) for debugging. (though we had some issues with overlap.)
We took the 8 most significant bits off the pots on our arm and put those in the user bytes. That was very nice, since it seemed the pots were always loosing alignment. (
And we were using a 'model' control for it.)
I also opened up PWMs 13-16 for debugging. So I could use CCP2_OUT (or whatever

), etc. for digital outs and pwm13-16 to see values on the dashboard.