Handle non-generic situation in div_class_grp_arith
For instance, adding two points (for g>1) fails. In particular, handle the case where the sum lies in the Theta divisor
For instance, adding two points (for g>1) fails. In particular, handle the case where the sum lies in the Theta divisor