Term UI bugfixes
The propose counters are no longer stuck on 0 and we have eliminated some artifacts when starting the term-ui (it needed one resize of the window to be correctly drawn). Also, we have fixed a small bug in which the pool tx counter was computed only on half of the tx data pools.