added the VDMThread class to the runtime.
+change the appropriate transformation to extend the VDMThread class instead the native thread.
+update the test results.