Allow specifing states that are allowed to be stuck

iris/program_logic/adequacy.v

iris/program_logic/ectx_language.v

iris/program_logic/ectx_lifting.v

iris/program_logic/ectxi_language.v

iris/program_logic/language.v

iris/program_logic/lifting.v

iris/program_logic/ownp.v

iris/program_logic/total_weakestpre.v

iris/program_logic/weakestpre.v

iris_heap_lang/class_instances.v

iris_heap_lang/lang.v

iris_heap_lang/primitive_laws.v

iris_heap_lang/proph_erasure.v

iris_heap_lang/tactics.v

iris_unstable/heap_lang/interpreter.v