are there any use cases where people are going to miss having debug symbols in the .so?

Not having them would prevent debugging in the wild ... We haven't done that lately, but did for a while when there was a deadlock (now fixed).

it does seem to be making the size of the resulting binary much larger than it needs to be