NV18: Implement state checks for new actors

These are currently unimplemented for the 4 new actors: https://github.com/filecoin-project/builtin-actors/blob/next/state/src/check.rs#L223-L226. For actors where no state check is possible, explicitly say so in a comment.

Also examine the init actor's state check for any necessary updates.