MarshalCheckStates is the main entry-point for this package, which takes the top-level model object for checks in state and plan, and returns a JSON representation of it suitable for use in public integration points.