Extend pointer emulation to pass alignment check

[jberthold]

(Unsafe) raw pointer dereferencing creates code for a pointer alignment check which currently creates thunks and gets stuck.
The alignment check (as well as the unOpOffset) require simulating an address according to the referenced type, its (original) size and alignment must be respected on offsets and when transmuteing pointers to numbers.

Originally posted by @jberthold in #637 (comment)