However I have found that mp3 is working OK with Opera on Windows 8
As you noticed support depends on what the operating system provides. Opera uses what's present there (if there is any).
My previous answer holds true. If you want all browsers on all platforms, you need at least two formats.