A few trivial bug fixes to the new atomics support
Allow reads from thread-local objects to step in as replacement canonical examples of allocations. Particularly useful for representing path condition allocations.