The AD8436 from Analog Devices looks like a good fit for this. It is a true RMS-to-DC converter with a 1 MHz small-signal bandwidth, and ADI specifies about 65 kHz for 1% additional error, so it should be worth considering for your 60 kHz...
Thanks for sharing the video and detailed overview. It was interesting to see the real-time plotting in action, especially with Teensy 4.1. The ADC observations were helpful too. Great work.
Here is our overview and "quick-start" video using a Teensy 4.1 (the ADC DMA library used is Pedvide's, of course). As a side note, the on-board Teensy 4.1 ADC's - based on careful testing - are not good above 800kSPS. Apparently...
If you're willing to write more python test code, I would be really interested to see a python version of the lines per second benchmark we used in the early days of Teensy 4.0...