To be able to allocate registers correctly during execution tracegen, we have to manually and explicily set inputs & outputs. This leaks alot of circuit stuff to the simulation layer. We need a better way here.