StableBasicBlockNumbering is conceptually just a wrapper around UniqueVector,