Completed proof of degenerate intree HLF optimality
New scheduler
Removed dump output
Stuff