feat(library/module): do not use threads when lean is not compiled with LEAN_MULTI_THREAD

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/module): do not use threads when lean is not compiled with LEAN_MULTI_THREAD