Fixed bug reported by Sun Qingfeng. PowerExpand should
not assume that everything under the square root is
always positive.
Added unit tests for PowerSimplify.
Added unit tests for Calc.