Update: CircuitPython now has an optional secondary USB serial channel available, which is not connected to REPL, over which you can send 8-bit binary data freely. See https://learn.adafruit.com/customizing-usb-devices-in-circuitpython/circuitpy-midi-serial#usb-serial-console-repl-and-data-3096590