Modelcheck can currently check for component states including: suppressed, flexible, failed, missing, etc., but it does not seem to be able to check for hidden (that is, not displayed) components.
Remember, hidden is not really a component state, it's tied to layers. I don't know if there's a way to check for hidden components in the layers but that's where it would likely be.
