Add a kTypeChecksFailure.

This is to distinguish between a soft failure due to type checks, or a
soft failure due to other reasons.

A follow-up CL will start using that information and use the type checks
in the vdex file to perform fast verification at runtime.

Test: test.py
Bug: 176960283

Change-Id: I04bff9ff26033f41e9439d366667a9aec1f339a0
8 files changed