test: Verify serialized relocated trace & memory content with diff testing

[zmalatrax]

Must programmatically verify the content of the serialized relocated trace & relocated memory.

Should be doing so as differential testing (e.g. against the CairoVM in Python), still needs to determine how exactly