iSplitL no longer checks if assumptions are spatial
The following used to fail with an error saying that
"HP" is not a spatial assumption, now it just succeeds but still puts
"HP" on both sides:
Lemma iSplit_intuitionistic P : □ P -∗ P ∗ P. Proof. iIntros "#HP". iSplitL "HP".