Update circuit paths + add a new flag

[saleel]

• Update circom deps to not use relative paths. This was causing trouble for consuming projects not having deps in same path. Builds can be made using -l flag to including necessary (node_modules) folders.
• Add ignore_body_hash_check flag to EmailVerifier circuit

[saleel]

Note: This diff look messed up but the only change is move the whole block below under this if condition.

[Divide-By-0]

I don't have visibility on if this breaks the Twitter demo since we don't have e2e tests, do you mind adding a test for something quick like witness generation that allows us to ensure things like paths and inputs are formatted correctly? We don't currently have a seperate button for that in the UI but you can probably just throw a testing wit-gen only flag onto the called function!

Also while we are bumping packages, we should update to circom 2.1.6 for faster array queries (might change constraint counts? i'm curious by how much).

[saleel]

I don't have visibility on if this breaks the Twitter demo since we don't have e2e tests, do you mind adding a test for something quick like witness generation that allows us to ensure things like paths and inputs are formatted correctly? We don't currently have a seperate button for that in the UI but you can probably just throw a testing wit-gen only flag onto the called function!

There are unit tests in both circuits and twitter-verifier-circuits that run circom tests (input + witness generation and constraint check on circuit). I have added circuits to CircleCI, but twitter tests are failing in the docker container for some unknown reason (circuit build fails) so its disabled for now.

Also while we are bumping packages, we should update to circom 2.1.6 for faster array queries (might change constraint counts? i'm curious by how much).

Yea, I think we can do this in another PR. ?