Check whether ABI is supported before we execute the binary

- this is fallout of the reorganization of open_program/execute_program.
  I still think it makes better sense this wey, even though we need to
  do the additional checking step now.
3 files changed