Add uthread_paused() API call