Not as much as you might imagine. White balance correction, some exposure compensation in the shadows, some sharpening. No overt pixel shifting/manipulation. Brian Skerry is an excellent photographer and knows how to make these types of images better than nearly anyone else alive.

Source: I’m a former NG photo editor.