public-vm: PIL > Barretenberg Codegen for VM proof system

[dbanks12]

Write the code-generation to go from high-level PIL description of the Public VM to a C++ VM proof system in barretenberg.

Tasks

Preview Give feedback

1. Integration of PIL tooling
2. CMake infrastructure to build generated VM proof system
3. Initial code-generation
4. public-vm: create an api to add generic column permutation checks in the flavor #2991
   C-avm +1
   
5. public-vm: create an api to add generic tuple lookups in the flavor #2995
   C-avm +1
   
6. public-vm: code-generate permutations feat: bb logup permutations powdr#32
7. public-vm: code-generate tuple lookups - feat: support bberg lookups powdr#37
8. public-vm: clean up PIL > bberg codegen
9. public-vm: robust tests for VM proof-system generated from PIL
10. Generated trace builder should populate (in constructor or create an initialize method) constant columns
11. public-vm: more flexible interface to proof system #3375
    C-avm +1