assert(uint - uint >= 0) does nothing

The result of (uint - uint) is still a uint (underflow wraps),
and therefore cannot be negative.  I assume assert(uint >= uint)
is what was intended.