Lando, you say:
"But if Opera crashed that means it was unable to save them properly."
But in Chrome, for ex., when it crashes it saves the CURRENT session (the one which, due to the crash, ends up empty), but it also has a file where the PREVIOUS session is saved, the one from which you drew the tabs for the current session, which has crashed.
Doesn't Opera have something like that?