proof_mode.md documentation has a broken link

proofmode.md's link to the heaplang tactics file is broken.

Also, the example of iIntros seems to show deprecated !# instead of !>, and Hx instead of x.