Statemachine check

[garthwatney]

Added dependency analysis and semantic checking to state machines Phase 1.

Closes #436. Closes #437.

[bocchino]

Per discussion, we need to check the following rules:

1. A component containing a state machine instance must be active or queued.
2. An active component containing a state machine instance and no other async element is valid.

[bocchino]

We also need to check that each state machine instance specifier in a component definition has a distinct name. I added this rule to the spec for component definitions.

[garthwatney]

I created a state_machine_instance directory for state machine tests I added checks for incorrect symbols in state machine instances.