Add preliminary support for memcpy intrinsics
Remove libcall simplifier, add instruction renamer

The former is no longer supported, the latter makes it so everything has a proper name.
Add support for smtlib2-debug backend