Completion: various clean-up
Completion: simplify get_num_visible_providers()
CompletionModel: remove n_proposals()

It was used for checking if a provider is not empty. But if a provider
is present in the model, it means that it is not empty.