Deliverables:

• Extract a whole Noir project together with external dependencies, and have the resulting Lean libraries available for import in downstream dependencies.
• Develop a more robust/disciplined testing infrastructure to test these more complex scenarios.