Make the test suite for labeling more stringent.

Now it also checks to ensure that returned phi nodes are
referencing the correct values.
Switch from the array library to vector

The rest of the library uses vector, and this use of arrays was
small.
Switch expected vs actual order in a test assertion
Add more tests

Also account for out-of-memory conditions in allocation instructions.
There are a few more VM errors that can occur, but I don't know when...
in theory, every instruction needs an edge to handlers for Throwable,
Exception, and Error.  That doesn't seem reasonable, though.
Get real parameter names for the SSA translation

These are only available if the bytecode was compiled with -g (to
generate debugging info).  I'm not changing the test suite to compile
with -g right now because this just changes a bunch of expected output.
Re-number unnamed arguments

The old naming numbered arguments backwards.  This version
preserves ordering.  Changed test results are updated.
Add a test case with nested loops
Translate raw Dalvik type names to a real representation

Includes some tests
Start the translation to the SSA IR