feat: add proof predicate evaluation

[CarolineLCa]

Summary of Changes

Evaluates if proof predicates are satisfied. If not satisfied, displays an error message.

Related Issues

N/A

Pull Request Checklist

Tick all boxes below to demonstrate that you have completed the respective task. If the item does not apply to your this PR check it anyway to make it apparent that there's nothing to do.

• All commits contain a DCO Signed-off-by line (we use the DCO GitHub app to enforce this);
• Updated LICENSE-3RD-PARTY.md for any added dependencies or vendored components;
• Updated documentation as needed for changed code and new or modified features;
• Added sufficient tests so that overall code coverage is not reduced.

If you have any questions to any of the points above, just submit and ask! This checklist is here to help you, not to deter you from contributing!

Pro Tip 🤓

• Read our contribution guide at least once; it will save you a few review cycles!
• Your PR will likely not be reviewed until all the above boxes are checked and all automated tests have passed.

PR template adapted from the Python attrs project.

[codecov]

Codecov Report

Merging #931 (e70e674) into main (60c9ceb) will increase coverage by 2.59%.
The diff coverage is 78.43%.

@@            Coverage Diff             @@
##             main     #931      +/-   ##
==========================================
+ Coverage   52.37%   54.97%   +2.59%     
==========================================
  Files         178      178              
  Lines        4987     5024      +37     
  Branches     1374     1393      +19     
==========================================
+ Hits         2612     2762     +150     
+ Misses       2355     2241     -114     
- Partials       20       21       +1     

Files Changed	Coverage Δ
packages/legacy/core/App/localization/en/index.ts	100.00% <ø> (ø)
packages/legacy/core/App/localization/fr/index.ts	100.00% <ø> (ø)
...ckages/legacy/core/App/localization/pt-br/index.ts	100.00% <ø> (ø)
packages/legacy/core/App/screens/ProofRequest.tsx	66.10% <76.08%> (+25.82%)	⬆️
...gacy/core/App/components/misc/CredentialCard11.tsx	90.16% <100.00%> (+15.37%)	⬆️
packages/legacy/core/App/types/record.ts	100.00% <100.00%> (+25.00%)	⬆️

... and 2 files with indirect coverage changes

[knguyenBC]

Is it possible to change the wording so it's more plain language? for example: The content above from "you do not have data that satisfies the predicate" to: "You do not meet the requirements of this proof request from [verifier name]" and the message below the attribute from "Predicate not satisfied" to "Requirement not met"?

[bryce-mcmath]

Great work. Can we get this up to date with main next week so we can merge it in?