I think I figured it out. The problem was apparently the version of the board I had loaded in Arduino's Board Manager. I was using The official M5Stack 2.0.0 board file. This does NOT work. It has sending the LED data at effectively the wrong baud rate. Reverting to 1.0.9 solved the problem. How do I let the good people at M5Stack know they have this bug to fix?