Tx kernel - make number of dac Txs processed per kernel run customisable
The number of tx processed per kernel run is read from the durable store, or set to 150 if no value is found.
Benchmarks using the wasm-debugger indicate that with 330 txs per kernel run we use around 6B ticks.
Follows !209 (closed)
Edited by Andrea Cerone