Gadget-markblocked.js puts blocked users names in strikeout style. This is incredibly useful. Unfortunately, it doesn't handle globally locked users, apparently because there's no efficient way to check a set of users to see which ones are glocked, using the current API.

See this thread on enwiki for background, and suggestions for how it might be implemented.