use binomial heap instead of fib heap
enable quadrics by default
fixed a bug where Apply didn't set the right handle
update queue after edge pops
remove MakeQueue method
work on handling cases where Q is not invertible