Added runtime checks to ensure correctness.
Fixed VM unit tests.
Issue #107: Refactored runtime assertions.
Merge pull request #107 from malawski/runtime-checks

Added runtime checks to ensure correctness.