Which SPI interface does the CC3000 use?

I cannot reproduce your issue.

>SPI1.setup({baud:3200000,mosi:A7});                                
=undefined
>SPI1.send4bit([255,255,255,128,128,128,255,128,255],0b0001,0b0011); //First pixel is white
=undefined
>SPI1.send4bit([255,000,255,255,0,0,0,0,255],0b0001,0b0011);    //first pixel is Green
=undefined
>SPI1.send4bit([0,255,0,255,0,0,0,0,255],0b0001,0b0011);    //first pixel is Red
=undefined
>process.env
={
      "VERSION":"1v61",
      "BUILD_DATE":"Apr 10 2014",
      "BUILD_TIME":"16:10:27",
      "BOARD":"ESPRUINOBOARD",
      "CHIP":"STM32F103RCT6",
      "CHIP_FAMILY":"STM32F1",
      "FLASH":262144,"RAM":49152,
      "SERIAL":"34ffd505-41563235-08610743",
      "CONSOLE":"USB"
    }
>

Does it work when you're doing nothing other than driving the WS2812B's?

And yeah, it's GRB, not sure how I got it wrong above.