Add extra options to seec-print for testing:
  -graph-test causes graphs to be generated (when printing with -C -S) but not written.
  -reverse causes states to be printed while rewinding to the beginning of the trace (when printing with -S or -C -S). This used to be the default behaviour for -S.
Correct a bug in MemoryAllocation::clearArea() where completely initialized areas were saved as uninitialized (this caused some obvious issues when rewinding the state).

Add MemoryAllocation methods isCompletelyInitialized(), isPartiallyInitialized(), and isUninitialized(). These are analagous to the methods of the same name in MemoryStateRegion.

Add some simple debug print statements for state changes in MemoryAllocation, which are enabled by changing the "debugPrintStateChanges()" function to return true.

Update MemoryState's operator<< to print each allocation's initialization.