Make thread_join() imply thread_put()
This makes the function more similar to traditional threading APIs.