semantic: Implement runtime asserts.
Merge branch 'assert' into future