Convert sexpr_test.py to use unittest