The Lepton modules you can buy are limited to 9fps, yes. They do seem to make some that are higher frame rate, but they aren't advertised anywhere.
FLIR and other companies like Seek[1] are selling 15/30fps imagers that are not much more expensive, though not in modules for DIY use.
The Seek Compact Pro[2][3] does a pretty good job for the ~$500 price tag
[1] https://support.thermal.com/hc/en-us/articles/208377803-What...