Unify invariants checking with version in go-state-types

@rvagg identified a big issue here: https://github.com/filecoin-project/builtin-actors/pull/1540#discussion_r1618121222

We should have one version of state invariants in rust maintainted here. There are two steps to this work

1. Go through go-state-types go invariants and make sure all invariants in go are reflected in rust code. I expect they have differed fairly significantly in the last two years.
2. In a lotus-shed or other utility (maybe even a lotus developer cli command?) hook up the rust invariants on an ffi blockstore and run them.

Running go invariants and comparing with step 2 will probably be helpful for identifying diff in the invariants implemented in both.