thanks for the kind words 
Debugging the code without bloating the compiled code it's going to be a bit tricky. we've looked at solutions that would work through gdb.
ATMEL promised us almost two years ago for a simple 1 chip solution to implement debugwire, the debug protocol used on AVR processors.
I have given up hope on that one
The new Arduino Due supports SWD and we've been testing a few dongles that support gdb so that we can provide proper debugging integrated within the IDE. Let's get the Due out of the door and we'll start working on that
m