Tuple2 BigDecimal/Integer encoding & ordering

This makes a couple fixes:
1) negates the length in BigDecimal/Integer encoding
2) makes length big-endian
3) updates the type codes for BigInteger

Should be `output_already_ordered`.