otawa: add IS_CACHED flag to instructions