Slightly different termination criterion for auto max_num_levels
Slightly different termination criterion for auto max_num_levels

eggplantbren/DNest4,eggplantbren/DNest4,eggplantbren/DNest4,eggplantbren/DNest4,eggplantbren/DNest4