Parallel Parsing

[rvcas]

• parse modules in parallel
• remove tests from the untyped modules of dependencies (also done in parallel)
• ignore warnings from dependency modules