Can you try Serial1.setup(9600,{tx: tx pin, rx: rx pin});? When you don't specify any pins it defaults to using a standard set of pins of each UART, but on the WiFi those might happen to overlap with USB.
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
Can you try
Serial1.setup(9600,{tx: tx pin, rx: rx pin});
? When you don't specify any pins it defaults to using a standard set of pins of each UART, but on the WiFi those might happen to overlap with USB.