Nationality set inclusion check and corresponding tests

[ashpect]

Solves #56

Approach :

1. We maintain a list of country-sanctioned_country pair, for example : USA-CUB (Usa has sanctioned on Cuba for financial exchange) from here.
2. A SMT tree is created for these pairs.
3. A circuit validateCountry (in utils) which verifies the smt_proof provided for a pair of countries. To implement country Verification in circuit, integrate this in any main circuit. (uses some components from Prove name is not in Ofac List #139)
4. A circuit using the above component has been created in disclose/country_verifier which validates the passport and the correct country.
5. Tests for the above circuits are in tests/disclose/sanctionCountry.test.ts, which tests (USA-FRA [non-mem, passes], USA-CUB[mem, fails])