1. Added asserts to core library code
2. Fixed error checking code in native_compiler.c
3. Language reference manual (partial) added