Make CI fail when proofs depend on auto-generated names
We already did it in std++, now that this is fixed it is time to do the same in Iris: make CI ensure that we do not use auto-generated names.
We already did it in std++, now that this is fixed it is time to do the same in Iris: make CI ensure that we do not use auto-generated names.