Clarify Tips public interface and add specs for #update_tips_and_prune