Overflow, Underflow, and the Rise (and Fall?) of SafeMath in Solidityland