add more runtime tests

[fredokun]

The typechecking test framework is quite complete, but there is minimal support for runtime tests. We should build on the runtimeTest/ framework (for now, only supporting runtime precondition checking) for this.