I'm not surprised that you can't find an image manipulation program to handle the size of images your generating.

The most likely solution would be to find or create a utility to manipulate the image header for formats that store that information (TIFF being one).
Otherwise you can only hope enough people suggest that the ability to set this information before rendering is added.