Instead of machining the head (which isn't easy to undo), try having a copper head gasket made with thinner than stock material. I had several mad about 15 years ago by a company called Gasket Works. I got the compression boost I wanted without having to re-do the squish band, and I can go to another thickness or back to stock very easily.