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

Lunderberg merged 1 commit intoapache:mainapache/tvm:mainfrom

Lunderberg:disco_num_workers_propertyLunderberg/tvm:disco_num_workers_propertyCopy head branch name to clipboard