I doubt they'd free up the usernames. Username reuse has problems with reputation hijacking, either for paid likes, spam, or making it look like the user said something they didn't. It also creates a bad experience with historic @users in tweets, and no one wants that bad PR tweets pretending to be from someone deceased.