Improve name of `no_new_unsolved_evars`

The name should make clear that the tactic either fails or completely solves the goal.

This was discussed in !429 (diffs, comment 86720)