heaps: fix heap delete: sometimes we need to sift-down
heaps: fix heap delete: sometimes we need to sift-down

bpollack/factor,AlexIljin/factor,tgunr/factor,mrjbq7/factor,tgunr/factor,AlexIljin/factor,AlexIljin/factor,factor/factor,AlexIljin/factor,factor/factor,mrjbq7/factor,AlexIljin/factor,bpollack/factor,mrjbq7/factor,tgunr/factor,factor/factor,AlexIljin/factor,bpollack/factor,mrjbq7/factor,mrjbq7/factor,factor/factor,tgunr/factor,mrjbq7/factor,tgunr/factor,factor/factor,bpollack/factor,factor/factor,tgunr/factor,bpollack/factor,bpollack/factor,bpollack/factor,AlexIljin/factor