I am in agreement. If you take metal off the head, or the block, you are doing two separate things.1. Bringin the piston closer to the valves, which could affect your piston stroke, if you take too much metal off the block.2. Reducing cylinder volume or head volume, which is Vc(clearance volume)These 2 things equally affect CR ...according to wakopedia
http://en.wakopedia.org/wiki/Compression_ratio So, if you want to keep things equal you must add whatever your machine shop shaved off, to your head gasket thickness. This will ensure that you are as close to factory spec compression ratio as possible.How much your Gasket crushes is probably directly related to the quality of your Head Gasket. This brings up a question on block decking, how much shaving is too much. I am sure there is point where you can no longer shave off.