Enabled negative test cases and added force semantics to megamodel execution.
Some code clean-up needed soon, but this is a pretty useful state of affairs now.