heuristic_random: logging improvements

- log random seed, even if not defined by user
- do not log "/dev/random" when using "/dev/urandom"