Adds more assertions. VM aborts.

Issue #5