perf(library/module): do not use multiple threads when skipping type checking, add flag to disable/enable type checking theorems asynchronously

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>