altos/lisp: Split out read debug, add memory validation