I'm not a game developer, but it seems to me that WAV would be the best format to upload because it is the most universal of the lossless formats. I wouldn't worry about it too much though because the developers can easily convert the file themselves using Audacity or other similar programs.