revise, rename: socket, synchronous, deterministic, test
rename Socket.py to socket.py, remove close and exception actions
rename NoBlockScenario.py to synchronous.py, remove close actions, add cleanup actions
rename SendAll.py to deterministic.py, use state-dependent domains instead of enabling conditions
test.py uses new names, uses -c cleanup option in all runs, does not use -s seed in any