code: func opcodeCheckMultiSigVerify(op *parsedOpcode, vm *Engine) error {
  	err := opcodeCheckMultiSig(op, vm)
  	if err == nil {
  		err = abstractVerify(op, vm, ErrCheckMultiSigVerify)
  	}
  	return err
  }
docs: // opcodeCheckMultiSigVerify is a combination of opcodeCheckMultiSig and
  // opcodeVerify.  The opcodeCheckMultiSig is invoked followed by opcodeVerify.
  // See the documentation for each of those opcodes for more details.
  //
  // Stack transformation:
  // [... dummy [sig ...] numsigs [pubkey ...] numpubkeys] -> [... bool] -> [...]