MVLookups integration in the proof

[joseandro]

trafficstars

There’s no use of lookups in the proof generation right now. We should reuse the same implementation for lookups as in msm.

Depends on the implementation available in the large MSM project.