Exactly, I wouldn't be comfortable just blindly auto-restarting an app after a crash. macOS offers a “Relaunch” button in these situations, so you can restart it interactively. That's good enough for me.