Merge pull request #13096 from hseok-oh/ryujit/remove_nyi_promote