I built my LED project in KDS as "Release" and it works when flashed over USB from blhost without a debugger attached. I also built the USB CDC demo which worked once I switched the USB clock to use the internal oscillator.

Next step: pull the mbed libraries and try building some stuff with the KL43 target.