[WIP] Prove name is not in Ofac List

[ashpect]

In progress to resolve issue 120

Using smt, prove name not in ofac list by :

• [x] passport
• [ ] eth adress
• [ ] name and dob combo
• [ ] only name with a warning to check manually due to being error prone