VLC can do batch conversions. Run the program, then select Media -> Convert / Save. Add all of the files that you want, then click the Convert / Save button at the bottom. Under Settings, select the "Audio - CD" profile (not sure why they didn't call this "Audio - WAV" since that's what it converts to by default), but that should take care of what you need