Add matrix multiplication verifier.