All,
Interesting reading, I have one additional comment to the original question. We have a "network processor" version of our BLE chip called the CC2541S, here the BLE stack is preloaded onto a device and some simple source API's needs to be implemented on a "system application processor" of your choosing. So then you will be able to choose say, MSP430 using MSP430-GCC as your apps processor.
http://www.ti.com/product/cc2541s
Regards,
/TA