Check for typechecking failures in analysis.
Check for typechecking failures in analysis.

This fixes the remaining two tests that were failing.

kadena-io/pact,kadena-io/pact,kadena-io/pact,kadena-io/pact