make add assert same size operands
full test coverage