Make the elements of gset persistent by changing the core

Merged Amin Timany requested to merge amintimany/iris-coq:master into master

Merge request reports