python: update to new API cs_disasm_ex()