saving current work on trace generator, making some changes
added timestamp to monitor violation prints and trace generator looks like it's working (can add more randomness now if desired)