Function verify_witness_program 

pub fn verify_witness_program(
    transaction: &Transaction,
    input_index: usize,
    coin: &Coin,
    flags: ScriptFlags,
    signatures: &dyn SignatureVerifier,
) -> Result<(), ScriptError>