adding a test phase which randomly picks contexts for cleaning and
re-saturation
fixing a bug w/ cleaning: it shouldn't be allowed to create new contexts
adding RandomSeedProvider to provide seeds to randomized tests