Set the elements of a 1-dimensional array without invariant-risk
Example Form: (aset1-trusted 'delta1 a (+ i k) 27) General Form: (aset1-trusted name alist index val)
This utility is identical to aset1; in fact, it has the same guard.
The difference is that it does not carry invariant-risk. Because of
that, functions that call
(defun aset1-trusted (name l n val) (declare (xargs :guard (and (array1p name l) (integerp n) (>= n 0) (< n (car (dimensions name l)))))) (aset1 name l n val))