optimized the binomial heap destruction phase (by using the walker)

and fixes some bugs introduced in the last commit