There's no reason to go through every single account to find the true number of bots. At the scale of Twitter they could just randomly sample a set of accounts, run detailed analysis on them, and statistically extrapolate onto the entire userbase with confidence bounds.