Verify that all connectors connect to source or target ports. Verify that any starting messages are addressed to a target port. Implemented as trait `Checker` Returns appropriate SimulationResult enum. InvalidModelConfiguration, InvalidMessage.