Initialize RNG with random seed

The random number generator was always producing the same unique designator IDs. Since this could potentially lead to problems when intersecting multiple log instances, the random seed is now initialized properly (with `time(NULL)`).

Also, more informative output for when equating designators.