BackendZ3: Store a copy of tactics in TLS.
BackendZ3: Store a copy of tactics in TLS.

For some reason, when using PyPy, tactics are never freed in Z3 once they
are created.  Caching tactics per thread will reduce the amount of memory
leaked.

angr/claripy