Function safeAdd

Safe adds two uints and returns an error if the result is invalid.

Note this doesn't actually overflow because we use bigint. This returns an error if either of the inputs are negative.