x86: Pass the right nameEnv in resolvePtrSetupValue

[RyanGlScott]

Previously, resolvePtrSetupValue would pass an empty Map of Ident to resolveSetupVal, which prevented SAW from lookup up struct field names properly. The fix is quite straightforward, luckily enough.

Fixes #1533.

[andreistefanescu]

@RyanGlScott nice fix! I'm curious, how did you run into it? I'm fairly certain we haven't used structs with x86 verification.

[RyanGlScott]

I'm curious, how did you run into it? I'm fairly certain we haven't used structs with x86 verification.

Funny you should ask: I tried porting over some test cases involving llvm_points_to_bitfield (see #1461) from llvm_verify to llvm_verify_x86 to test my changes to SAWScript.Crucible.LLVM.X86, and this was the first error that I experienced. I say "first" since there were other issues with llvm_points_to_bitfield in x86 mode after fixing this issue, but perhaps this is to be expected, given that we haven't used structs with x86 verification much before. Nevertheless, this seems like such a straightforward fix that we should adopt it regardless.