Fixed the verification extensions so that assertions can now be used for testing results.
Modified the verifications to support assertions.