Create refined example showcasing latest+interesting noir-lang features

[jzaki]

Dev Story: As a noir dev with little time to dabble, I want a refined example using the latest language features, such that I can readily see what might benefit my project/interests. (Based on feedback around keeping up to date with specific areas relevant to dev/project)

Focus on one example and refine/enhance over time. Eg a Sudoku puzzle verifier. (Could potentially drop into ACIR / pil for lowest level optimisation?)

The well documented example is intended to:

• help those new to Noir via a familiar problem
• challenge those more experienced to become fluent in newer language features
• general dev community engagement
• identify any gaps in docs
• give fomo to engineering