Add goal relaxation check

Check that the goal relaxation is a nonnegative value. Add brief explanation on goal relaxation in the doc.