Extracting core from init800.lisp; Adding optimization TODOs; Adding smoke test