[Disco] Implement num_workers property for disco.Session#16990

Lunderberg wants to merge 1 commit intoapache:mainapache/tvm:mainfrom

Lunderberg:disco_query_num_workersLunderberg/tvm:disco_query_num_workersCopy head branch name to clipboard