[FEATURE] Test drive the test generation example for OpenSUT

[podhrmic]

Summary

Attempt to use the test generation feature of CN on some examples from MPS. Create a test harness, and understand the capabilities of the generator (e.g. can we generate stateful examples, similar to what is generated from the cryptol model?).

Do

• find relevant documentation, beyond this gdoc and this script there is an example in the CN tutorial repo
• run through the existing testgen examples
• create a test harness for MPS example(s)
• document your progress
• describe what an ideal version of testgen should look like