Switch witness construction to VM event logs

TODO.md

@@ -8,7 +8,6 @@
 - one can "move out" the variable of the eq(.) polynomials out of the sumcheck computation in WHIR (as done in the PIOP)
 - Structured AIR: often no all the columns use both up/down -> only handle the used ones to speed up the PIOP zerocheck
 - use RowMAjorMatrix instead of Vec<Vec> for witness, and avoid any transpositions as suggested by Thomas
-- Fill Precompile tables during bytecode execution
 - Use Univariate Skip to commit to tables with k.2^n rows (k small)
 - avoid field embedding in the initial sumcheck of logup*, when table / values are in base field
 - opti logup* GKR: 
@@ -104,4 +103,4 @@ fn doesnt_work(x) inline -> 1 {
     } // the bug: we do not JUMP here, when inlined
     return 1; // will be compiled to `res = 1`; -> invalid (res = 0 and = 1 at the same time)
 }
-```
+```