I followed these instructions over a year ago and I've had no problem with video playback because of the codec issue. Each Opera update maintains the proper codec with this script installed.
https://github.com/Ld-Hagen/fix-opera-linux-ffmpeg-widevine/
