use profiling for savetest.py

more terse lexer code for slight speedup---now faster than parser