Include: variable indexes are now verified to the global variable scope, meaning that a corrupt binary cannot allocate arbitrary global variables anymore.

Variables: implemented limits on number of variables in a scope, the length of variable names, size of variable values and the number of accesible match values.

Body: added test regarding empty bodies and fixed testsuite to flush the message context when the message is changed.

Body: fixed bug in the :raw transform, added much comment to the body extraction code and added a first simple test to the testsuite.

Enforced limits on string length and handled the finite nature of integers for number parsing and the construction of the AST.

Include: symbol table for global variables now also includes locations for the first import/export of each known variable.