Add sexpression-based symbolic execution. Peephole optimizer currently broken.