Add tests for iRename, iTypeOf, and iInduction with multiple IHs

Tej Chajedrequested to merge
tchajed/iris:add-proofmode-tests into master

Fixes #334 (closed).

Edited by Tej Chajed

Merge request reports