[CSX 4027]

Wasn't the Holman thing for NASCAR where they needed a high RPM tp maintain speed on an oval?
For road racing, get the lightest new tech gun drilled standard 3.78 and you will have fun and be competitive at over 7000 rpms
Turning more than that with MR/FE heads won't do all that much for power because, there won't be any...
The heads can't breathe well enough to make big RPM's worth turning.
If you want to turn 9500 and make power, put a cup motor in and dress it up like an FE.
I just happen to have one being finished for sale. It should make over 800hp and will turn the big RPM's you are looking for,