Fix 64bit printing bug in testing utils

the _testingUtils do not properly print 64bit numbers. Fixing this bug exposes a failing test in test/Concrete/ConstantExpr.ll. These commits add test cases for _testingUtils, fix the ConstantExpr test case, and fix the 64bit printing bug in _testingUtils