Our current performance bottleneck is on GRANDPA, but not on BABE. By separating the validator set of those two, it is indeed practical to accomplish 10,000+ validators. https://github.com/neatcoin/neatcoin/discussions/2