Add nbis_nondet_uint primitive