SafeMath unit testing

We used safeMath library from OpenZeppelin to perform some unit testing on uint types. More details on safeMath library github.

Import and use safeMath library for arithmetic operations on uint types.