Make term cache a thread-local parameter.
Make term cache a thread-local parameter.

This helps to avoid deadlock if we kill a thread that is performing
symbolic execution -- if it happens to be holding the Racket internal
lock on the term cache when we kill it, all future symbolic execution
will block trying to acquire that lock.

chubbymaggie/rosette,chubbymaggie/rosette