However, it's a risky change if we're using weak linking on macOS or iOS (which I don't think we do, but other tor packagers might). I think if we try to bind all symbols at launch, and the current macOS doesn't have an optional symbol, we'll crash at launch. (Rather than testing if the optional symbol is NULL, or if we don't test, crashing when we use that symbol.)
So if I'm figuring right, 5.5k is currently around .05% (that is, 5% of 1%) of the binary size? Right now, I don't think a savings that small is worth even a small amount of risk, if that's the only motivation.