Add tests for thread_mutex_destroy()