It’s an interesting idea, and certainly possible. Not on the immediate roadmap, but perhaps in future.
Modulus checking means that there are less than 100 million addressable account numbers per sort code.
But banks can also have multiple sort codes. They used to be allocated per-branch, I believe. RBS has about 1000 active sort codes.