s4:dsdb:ridalloc: use dsdb_module_constrainted_update_uint64() to update rIDAvailablePool