Remove an obsolete fixme
Convert a FIXME to a comment
Add a few more test cases.

Also includes changes to make these tests pass.  In particular, one test
has dead code (an exception handler that cannot possibly be reached).
The current translation eliminates this dead code (and the changes to
the analysis are to accommodate that).

One consequence is that some blocks are left that are redundant and
could be coalesced into a smaller number of larger blocks.  The dead
code introduced the division, and since it is gone the division is no
longer necessary.  Alternatively, we could just leave in the dead code...
Note potential improvements in exception edges
Many more tests
labelling -> labeling
Fix a horrible filter bug that affected phi node generation

The uses of trivial phi nodes were not being computed correctly, and
some real uses were missed.  This meant that a use would refer to a phi
node that had been removed.  One of the
tests (simpleNPEWithHandlerAndFinally) actually catches this bug.
Fix a significant class of SSA labeling bug.

In a few places, the labeling code was using the 'Instruction'
type as a Map key.  This is incorrect because Instructions do not
have identity and two 'Instruction's that have different SSA values
can actually compare as equal.  This commit changes everything to
refer to 'Instruction's only by the index into the 'Instruction'
vector.
Test output tweak
Add a class hierarchy analysis

It is somewhat basic but it gets all of the information available in a
Dex file.  Unfortunately, it doesn't have quite what I wanted - the
core Java class hierarchy doesn't seem to be present...
Move the class hierarchy analysis to its own file
Remove unused imports
Remove some commented-out code
Add the file for the class hierarchy analysis

git stash did something too fancy to my last commit
Use a class name abstraction in the static class hierarchy

This means we don't have to use decorated Java
class names directly.
Two small comments
Modify some tests so that invokes don't interfere

These tests were supposed to be testing checkcast, but the
method call that just happened to be in the test was adding
extraneous edges.
Add a FIXME note for dealing with undefined instructions
Invoke test
Amend the note about undefined references....

the bytecode verifier supposedly won't allow this case, so
I'm not sure if we should address it here.