Only emit global_offset when its non zero. This is to work around the
fact that GPUVerify does not support this right now.