Security Audit (Second Revision)

Bug fixes:

- removeLiquidity was calculating g after decreasing balance
- removeLiquidity was sending wrong amount
Tests:
- Added tests for addLiquidity and removeLiquidity