Added verbose functionality for analytic_rank_upper_bound()