integer state for a PetscObject Level: developer
Object state is always-increasing and (for objects that track state) can be used to determine if an object has
changed since the last time you interacted with it. It is 64-bit so that it will not overflow for a very long time.
PetscObjectId, PetscObjectStateGet(), PetscObjectStateIncrease(), PetscObjectStateSet()