Build a half adder. A thorough checker should exercise all four combinations of a and b and verify both outputs.
