Write a copy of the instrumented Module in LLVM IR to the file specified by the environment variable "SEEC_WRITE_INSTRUMENTED", if it is present.
Correctly restore stream state when removing a FileClose event.
When printing offset_uint properties, if the value is equal to noOffset(), then print "(none)".
Correct implementation of FILE stream handling so that we don't push StreamStates onto the "closed" stack when we are removing a StreamState due to reversing a FileOpen event.