Bugfix: Extend/Truncate Ptr instruction to PSize

This fix addresses the issues #29 and #33. The Addend instruction is of PSize width, but the Ptr instruction can have a different width that is not checked before passing it to Inst::Add. This was the source of the size mismatches when building KLEE expressions.