Change all tests to use assert instead of constrain

[kevaundray]

Problem

Now that we are moving towards assert instead of constrain . We should modify our examples to use assert.

The examples live here

Proposed solution

In each example, rename constrain expr to be assert(expr).

Note: There is an assert example which uses the assert keyword instead of `constrain.

Alternatives considered

No response

Additional context

No response

Submission Checklist

• Once I hit submit, I will assign this issue to the Project Board with the appropriate tags.

[kevaundray]

@makluganteng This is a good first issue, if you are interested :)

[makluganteng]

Yup i can take this task

[makluganteng]

@kevaundray Hi, i kinda need help on setting up the env so that i could test it out. I cant seem to get in the discord either.

[shivamganwani]

@makluganteng which point are you stuck at?

[makluganteng]

when im installing the direnv. nix --extra-experimental-features install nixpkgs#direnv

[kevaundray]

Hi @makluganteng ,

Thank you for the willingness to take up this task -- I'm going to re-assign this issue to someone on the team. If you are still having installation problems, please open up an issue for it and flag it on our discourse: https://discourse.aztec.network/c/noir/7