Updating: improving libats/linheap_binomial.