generating tests for our domain model + commands

[joyheron]

I think it would be interesting to see if we could define some properties about our domain model (and the command functions that we have defined to modify our domain object) and see what kind of tests that we can generate to test our functions.