Prover/distribution of global queries

[Soleimani193]

This PR implements the distribution of global constraints

Checklist

• I wrote new tests for my new core changes.
• I have successfully ran tests, style checker and build against my new changes locally.
• I have informed the team of any breaking changes if there are any.

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 68.48%. Comparing base (07ae16a) to head (e15f517).
Report is 2 commits behind head on prover/limitless-top-level.

Additional details and impacted files

@@                       Coverage Diff                        @@
##             prover/limitless-top-level     #647      +/-   ##
================================================================
- Coverage                         68.49%   68.48%   -0.01%     
  Complexity                         1130     1130              
================================================================
  Files                               321      321              
  Lines                             12842    12842              
  Branches                           1287     1287              
================================================================
- Hits                               8796     8795       -1     
- Misses                             3506     3507       +1     
  Partials                            540      540              

Flag	Coverage Δ		*Carryforward flag
hardhat	98.64% <ø> (-0.11%)	⬇️
kotlin	66.05% <ø> (ø)		Carriedforward from 5821278

*This pull request uses carry forward flags. Click here to find out more.

see 1 file with indirect coverage changes