IR interpreter: Replace the assert for downcount with a very predictable branch

IR interpreter: Replace the assert for downcount with a very predictable branch #9963