Fix #754: Emit last compatible IR version
Merge pull request #757 from gzm0/emit-binary-compat

Fix #754: Emit last compatible IR version