Fixed a bug with high addresses in operands

BUG: High addresses in operands could cause the Python's sqlite3 module to crash when inserting into the database.

The error caused is "OverflowError: Python int too large to convert to SQLite INTEGER".

diaphora.py

@@ -700,6 +700,10 @@ def save_instructions_to_database(self, cur, bb_data, func_id):
                 cls=CBytesEncoder,
               )
             )
+          elif isinstance(instruction_property, int):
+            if instruction_property > 0x8000000000000000:
+              instruction_property = str(instruction_property)
+            instruction_properties.append(instruction_property)
           else:
             instruction_properties.append(instruction_property)