After a lot of hunting I couldn't find anything either. But I do agree with your observation that we need to call SSL_shutdown() again if it asks for that. So I added it.
I also added some code to print a stack trace to the syslog if the server crashes on sigsegv. Hopefully that will help a bunch of people.