Support Model Testing

[reid-spencer]

It should be possible to write test cases to confirm model intent and prevent regressions from occurring. Some sort of algebra needs to be invented to specify the constraints and then a command is needed to run each of those constraints as test cases; or, this kind of testing could be part of the validation command