Improve Add/Pow imaginary assumption handlers

fixes #4149
fixes #2920
fixes #7886

@smichr
> in abcfa25 of my is_number branch

I don't see this commit here.  Perhaps, you did a rebase?