Function verify_format 

fn verify_format(
    inst_name: &str,
    operands_in: &[Operand],
    format: &InstructionFormat,
)

Checks that the input operands actually match the given format.