Switch operation in HalfAdder module to compute correct values. Add HalfAdder testbench.