We want to explore random testing for 3 purposes:

1. Making SCV robust
2. Comparing against random testing for effectiveness in discovering counter examples
3. Integrating random testing into SCV system somehow (this part is fuzzy and more long term).