Major Code Cleanup (#792)

* Doing a major clean up to simplify the code

* Removed the unwanted changes in Actors

* Removed push transitions and cleaned up the state machine code.

* Fixed a minor bug in previous commit

* Merging Actor.cs with StateMachine.cs (#757)

fixing actor comment

fixing

Co-authored-by: Christine Zhou <[email protected]>
Co-authored-by: Ankush Desai <[email protected]>

* [Cleanup] Moving ActorRuntime into ControlledRuntime (#760)

* [Cleanup] Moving ActorRuntime into ControlledRuntime

* Changing all references of actor to state machine

---------

Co-authored-by: Christine Zhou <[email protected]>

* [Cleanup] Moving PJsonFormatter to PCheckerLogJsonFormatter and moving PLogFormatter to PCheckerLogTextFormatter (#763)

Co-authored-by: Christine Zhou <[email protected]>

* [Cleanup] Merging PEvent with Event (#764)

Co-authored-by: Christine Zhou <[email protected]>

* [Cleanup] Merging PMonitor with Monitor (#766)

Co-authored-by: Christine Zhou <[email protected]>

* Fixed the code for RaiseStmt

* Adding test cases for 'raise' and 'goto' with payload (#767)

Co-authored-by: Christine Zhou <[email protected]>

* [Cleanup] Merging PMachine with StateMachine (#770)

Co-authored-by: Christine Zhou <[email protected]>

* Remove GodMachine, CoyoteRuntime; Fix Raise statement in Monitor (#772)

* [Cleanup] Remove GodMachine, reformat PChecker folder, add assert false after raise test case

* [Cleanup] Remove IStateMachineRuntime, ICyoteRuntime, CyoteRuntime

* [Cleanup] Fixing monitor Raise statement + unit tests

---------

Co-authored-by: Christine Zhou <[email protected]>

* [Cleanup] Minor cleanups (#773)

Organized exceptions files; removed dgml file generation; remove Guid; changed Prt naming files and values to P; Remove Coyote references from comments

Co-authored-by: Christine Zhou <[email protected]>

* [Cleanup] Remove statemachine factory, runtime factory, and name resolver (#774)

Co-authored-by: Christine Zhou <[email protected]>

* merging cleanup branch to master branch

* Added a type checking rule for the Main Machine

* Did some more cleanup; the test cases are failing right now.

* Fixing warnings and errors

---------

Co-authored-by: Ankush Desai <[email protected]>
Co-authored-by: Christine Zhou <[email protected]>
Co-authored-by: Ankush Desai <[email protected]>