The label text of the menu buttons actually does go bold, but it seems to be an unfortunate feature of the system font on OSX (Yosemite onwards) that it either changes imperceptibly or not at all when bolded. I have noted it as something we should deal with.