Implemented VERIFIER_nondet_uint.