chore: add predicate for contract witness_ids

[Crayon-Shin-chan-bitlightlabs]

At this stage, we can temporarily filter out witnesses with Mined and Genesis status when updating the state.

[codecov]

Codecov Report

Attention: Patch coverage is 0% with 14 lines in your changes missing coverage. Please review.

Project coverage is 38.8%. Comparing base (78393b5) to head (4148dbc).

Files with missing lines	Patch %	Lines
src/contracts.rs	0.0%	14 Missing ⚠️

Additional details and impacted files

@@           Coverage Diff            @@
##           master    #322     +/-   ##
========================================
- Coverage    39.0%   38.8%   -0.2%     
========================================
  Files          11      11             
  Lines        1748    1757      +9     
========================================
  Hits          681     681             
- Misses       1067    1076      +9     

Flag	Coverage Δ
rust	38.8% <0.0%> (-0.2%)	⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[dr-orlovsky]

The filter can be just applied to the result returned by witness_id function - it will be strictly the same like in this PR, except will not make the method signature such complex.