Is Quench Required?
I get it if we were talking different piston heads and machining to get these different cr's, but were really talking gaskets for the different cr's so if a 0.040 quench is too much it's just a little bit of labour to fix it (gasket swap). To me you might as well mill to zero deck since your still in the building process even if you don't go with a quench. If the possibility of swapping gaskets is a no go then run the thicker one, the difference in cr ain't gonna make big power changes.