Updated StagnationCriterion to match #satisfied? specification.