added round stacks
fixed size_t
werror has an issue on roundstack, it stops while all proofs are valid ...