I haven't tested this with 1.43 yet, but it appears that teensy 3.2 hardware with the teensyduino 1.42 and arduino 1.8.5 has a USB buffering issue.
void setup()
{
Serial.begin(9600);
}
void loop()
{
static uint8_t buf[4096];
for(unsigned i = 0 ; i < sizeof(buf) ; i++)
{
while(1)
{...