Remove useless assert

Unsigned numbers are always >= 0
Fix off-by-one in assert