tree e0c940ddc0123690cfa0c5ee59c3cea612ab5ce0
parent 4467908da159039dccc37e3fb9dd0e35442c8d11
author jeffhao <jeffhao@google.com> 1335488901 -0700
committer jeffhao <jeffhao@google.com> 1335489092 -0700

Various fixes to new verifier.

Cleaned some dead code, return resolved methods on soft errors, ensure
that when a hard error occurs, it's the last error, and replace a
failing instruction based on the first soft error.

Change-Id: I7e795221c048bf01899be54c6bad814246db0324