Adding succint functional checking
error checking for simple_add
adding useful correctness checks to simple add