revised socket stepper and test scripts
rename Socket -> msocket, Stepper -> stepper
msocket is socket model, name now lowercase, different from library socket module
revise stepper to use module names, also clean up style
revise test_stepper, test_viewer, synchronous, deterministic for new module names
revise test for new module names
rerun tests, regenerate .svg and FSM.py files