Overflow checking for CTW update

Also, checking whether children exist. Non-existant children
give prob 1 == log-prob 0.