Fix #472 - Behavior of aligned_load/store in common mode

common aligned_load/store were fixed to:
 - checking alignment with the correct value.
 - asserting that their pointer data and type tagret where compatible
 - tests are not run on invalid types by mistake
 - alignment checks are done only when necessary
Fixed aligned_load type check
Fix load_runner allocation
Simplify is_pointing_to