Add support for symbolic pointers

[momvart]

The following cases are currently known to be able to generate pointers with symbolic values and are expected to be supported:

• Offset binary operator with a symbolic offset or base.
• AddrOf operator over a symbolic place.
• AggregateRawPtr with symbolic data or metadata (like a symbolic length of a slice pointer)
• Transmutation or casting to a pointer type.