Add some asserts to verify MVT invariant assumptions.