Add unit test for add_with_carry().  Fix carrying logic.