Error: Brillig function call isn't properly covered by a manual constraint

[jialinli98]

We have to compile with --skip-brillig-constraints-check tag. Otherwise we are getting unconstrained error:

bug: Brillig function call isn't properly covered by a manual constraint
  ┌─ ethereum/circuits/lib/src/header.nr:19:18
  │
19 │         unsafe { get_header_unconstrained(chain_id, block_number) };
  │                  ------------------------------------------------ This Brillig call's inputs and its return values haven't been sufficiently constrained. This should be done to prevent potential soundness vulnerabilities
  │
  = Call stack:
    1. vlayer/examples/circuits/is_dao_worthy/src/main.nr:10:26
    2. vlayer/ethereum/circuits/lib/src/token.nr:41:13
    3. ethereum/circuits/lib/src/account_with_storage.nr:109:12
    4. ethereum/circuits/lib/src/header.nr:19:18

bug: Brillig function call isn't properly covered by a manual constraint
   ┌─ ethereum/circuits/lib/src/account_with_storage.nr:112:18
   │
112 │         unsafe { get_proof_unconstrained(chain_id, block_number, address, storage_key) };
   │                  --------------------------------------------------------------------- This Brillig call's inputs and its return values haven't been sufficiently constrained. This should be done to prevent potential soundness vulnerabilities
   │
   = Call stack:
     1. vlayer/examples/circuits/is_dao_worthy/src/main.nr:10:26
     2. vlayer/ethereum/circuits/lib/src/token.nr:41:13
     3. ethereum/circuits/lib/src/account_with_storage.nr:112:18