Made a few changes to DiskNodeManager, refactoring BinTree