fixed spelling
incorporated changes made to spthread_parts.h
recording result of running smack-verify.py --verifier corral test_spthread.c