Currently Wikibase UI just called wbformatvalue of each badge items for getting labels of all available badges. To be more effective we can introduce a dedicated API for this. This may be a new parameter of wbavailablebadges.
Alternatively we can use wbgetentities to get labels of all badges.