threading: Implemented synchronized statement and method modifier. Added some simplified tests for synchronization because old ones were too complex to be model-checked.