Move context-sensitive data out of `Environment`

[ymand]

Environments are used to track context specific to basic blocks. The context-sensitive fields, CallStack, ReturnLoc and ThisPointeeLoc are specific to a whole function context, and stable across blocks. So, they should be shared rather than copied for each new Environment.