Added second pass which does code flow checking to verifier.

Ran this through libcore and it finds no errors, but I still need to
create tests to make sure it catches errors when it should. Also, it's
still missing 2 pieces, replacement of failing opcodes and generation of
the register map.

Change-Id: I0f4c4c20751b5b030ca44c23e1d1c2e133404e0c
7 files changed
tree: a6e5c2e893bc944fc32d963e9a029c0c7dbd0f6e
  2. build/
  3. src/
  4. test/
  5. tools/