Fix carry bug

Introduce the necessary carry propagation tricks to ensure non
functional change from master. Also clean the examples used for
debugging in benchmark.h