[Mono-list] Verification runtime support

[Hinne Hettema (DSL AK)]

Hi Paolo

> -- We only call code verification from the interpreter but not yet 
> from the JIT compiler?

The interp doesn't verify the code either. -- Sorry I missed that...

> I suggest following these steps:

> *) Add the code to verify some of the tables that still are not verified
> *) Work on type checking in the IL code

I agree. I'll start on the metadata code, and have a think about how to do
the type checking.

What are your thoughts on the necessity of a dataflow?

Regards

Hinne