threading: Implemented the remaining features for threading: synchronization, wait, notify, interrupting. Simplified some tests to be manageable by model checker. Many tests still cannot be used because model checker gives OutOfMemoryError even with 20GB of heap.