This patch adds a new argument, -fnew-verifier, to the Java front end 
which enables the new verifier. It also fixes several verifier thinkos 
and adds some missing initialization code. I'm checking this in to the 
BC branch.

The verifier now runs successfully for the small .class files I tried it 
on, but the compiler will still currently crash later on due to missing 
type maps that the old verifier was generating.

Bryce