The standard C52...don't think you'll find anything sequential for that gearbox. And with the TRD close ratio and a Quaife LSD, I think that's the most you'll get from this gearbox.
(By the way...If you bought the Quiafe new and registered it, you'll have a lifelong guarantee, even if you raced it

)
How did you like the Quaife before it broke? I installed one in my own C52, but the car isn't runing yet, so I haven't had the chance to drive it.
The formula Atlantic engines are heavily tuned 16V 4A-GE's which were used in a formula racing class that was supported by Toyota for years.
They put out about 240bhp (from a N/A 1600cc engine!!!) and indeed rev up to about 11.000rpm. But you won't get much torque from them, especially in the lower rev ranges.
And even if you would be nuts (and rich) enough to be able to install one in your car, you would have to pull and dismantle it after just about every race for a rebuild
I think you need turbo power for your application.
About the gearbox...I think custom work would be your last (expensive) option...