Faster, raw Lisp implementation of aig-vars, with under-the-hood memoization; kind of nasty.
Function: aig-vars-fast
(defun aig-vars-fast (x) (declare (xargs :guard t)) (aig-vars x))
