Update the addition tests for Integer.add
Test the various public API addition cases
Document the tests