Adjustable label size has been added to 0.8.16 (to be published soon).
The UI button I'll think about more. I'm not frequently toggling the labels myself (I never do, outside of testing) - do others find themselves toggling a lot? If so, what's the main reason? (Wondering if there's an underlying issue that'd be better to fix)