am 81d79dc3: Merge "Make unresolved exception types cause soft verification errors."
am 81d79dc3: Merge "Make unresolved exception types cause soft verification errors."

* commit '81d79dc3e2a5e92c65bad955f2bea7ee161f66aa':
  Make unresolved exception types cause soft verification errors.

treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst