Opens the State Machine Viewer, which provides a high-level view of finite state machines in the design.