You are correct on both counts. In the stress report, Eq (141.1a,b) the cross-stress term should be negated and in the margin of safety equations (141.3a,b), the denominator should be square rooted (see attached). This correction has been made and will be available in the next software update.
The values for the Tsai-Hill margin of safety returned from HyperSizer are already correct and will not be changed. Therefore, this error is only a typo in the stress report documentation.