Launch Exploit Fix

Upon the first launch of DAIHard, a critical bug was found in the smart contract, which allowed any attacker to drain any trade.

This release fixes that bug, and also protects against some arithmetic overflow concerns.