I actually do believe that a good random number generator for serious key lengths should never generate a collision. Thus we could well test it by creating such a blacklist. 2^128 gives enough combinations so that we should expect each random number to be unique.
Doesn't all the new cool distributed version control systems also rely on that assumption? (I guess you can look at a cryptographic hash function as a special sort of random number generator)