Let `iRevert` of a pure hypotheses generate a wand instead of implication.

See merge request iris/iris!789