Rewrite PrintConstraint to make it more robust

PrintConstraint now directly uses the fact that Abase has two identity
matrices of opposite signs at the end.  It uses these to find all
entries in both the normal and loss row to expand the loss variable.
Expand loss variable by default in PrintConstraint, update OneStageAZ