Check `updateCounter` and `id` in `ContractStateModel`

[spencercorwin]

updateCounter and id are nullable in the C# code. But not in our TS code since this would cause various type errors. Should we make them optional/nullable? Or should we add default values and value checks?