How much to shave off the cylinder head.

No, in fact, I'd make it an even .100. The one on Vixen's engine went like .178-.185. It was an accident....but it worked out. lol You'll end up in the 9:1 area. Perfect.