Hi Greg, the Murata module does not contain an embedded antenna and does not support 11n either. But you are right, it contains the CC3000, even though that makes the Murata module much more power hungry. The EFM32 is just awesome to work with!
For dev kits, please contact firstname.lastname@example.org or email@example.com
This module is smaller http://www.murata-ws.com/datastore/media/wifi_vk_ds.pdf
It's also a complete embedded WiFi module, based on the new CC3000 SoC from TI (no 11n support though). That said, I'd much rather have an EFM32 to play with.