You definitely shouldn't connect TxD to ground. An idle TxD would normally idle high (i.e. connected to Vcc).
I'd probably connect it to Vcc through a 10K resistor so that if the pin were configured as an output it won't cause any troubles if it accidentally gets driven to ground or Vcc (which will happen on the ESP before micropython even gets a chance to run).