target/xtensa: change SR number checks to assertions