My contribution to the mayhem LOL:
For option 3, at .073", conventional thinking is that you really don't have any quench effect any more. Option 2 is some limited quench effect. Option 1 is getting some real effect.
Just a few checks:
And you do know that you can retard the cam and lower your DCR? I would do that and keep to option 1 or 2.
And increase that 5 cc in the pistons to 6 cc to add in the volume down around the top of the pistons down to the top rings.
With that, and 2 degrees of added retard on the cam timing, you are now at 7.9 to 8.0 with option 2.
I've run 8.3 DCR on the highway on 93 premium with quench.... IIRC in the .050" range. I had to limit ignition timing a bit; can't tell you the exact numbers anymore.. that was 40+ years ago LOL.