stop if lack of progression
count number of times an open interval is updated without significant change in the statistic, and stop if it exceeds a (currently hardcoded) value.
Authored by: thibautd 2014-01-13
Parent: [r27433]
Child: [r27435]
