* finished implementation of property based testing with random
  generators, much more thorough than the previous tests
* implemented both regular clock input and generated random clock input