I've implemented a lot of HID devices using the Teensy 2.0 (ATMega32u4, 8 bit AVR).
For something with Full Speed USB 2.0 the throughput is plenty.
Ok, this device is getting long in the tooth, but they're still selling them.
If I wanted High Speed USB 2.0 I'd go to the newer Teensy 4.0 (iMXRT1062, 600 MHz Cortex-M).
But that's a lot more complicated and a lot more power consumption.
Ok, if you are using the manufacturer's libraries it's not any more complicated.
Realistically, your Teensy LC is a fine choice.
Still, sending an HID report 10 times a second makes me want to grab the simplest device.