Prettier printing of trace comparison addresses
Changed pointers to MachineState and IAllocator into references whenever possible since we never want those to be null