Remove sexp printer and import spike fuzzer
Cosmetic refactoring