weird CC3000 library behavior: .connect() works but .connect(SPI1, B6, B7, B8) hangs

Strange... try:

http://www.espruino.com/tmp/espruino_1v8­5.139_pico_1r3.bin

I just clicked on the link you pasted and it works, but mine doesn't!

If not, just look in http://www.espruino.com/tmp for the file.