Support for various button sizes is possible through the JSON editing workflow. Examples:
Making a UI for that is more complex than it might seem (it’s not just specifying button size, it’s also specifying layout and alignment… so we’d have to build a pretty sophisticated toolbar editor)