Consider simpl and clearing introduction patterns as persistent.

This fixes the bug that when having:

    iDestruct (foo with "H") as "{H1 H2} #[H1 H2]"

The hypothesis H would not be kept.
1 job for master in 2 minutes and 32 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #2904
fp-timing
iris-coq8.6

00:02:32