[stdlib] Add UInt debug_assert(value >= 0) for Int implicit conversion

[stdlib] Add UInt debug_assert(value >= 0) for Int implicit conversion #4651