Fixing some issues with read_DIMACS_file not rooting the TDTree (causes write to fail). Still not completely debugged.