iterative_restrict now returns better restricted models when verify_validity_in_every_step is FALSE, by backtracking to and returning the last valid model.