Support select to stack

[akiramenai]

At the moment EraVM doesn't support SELaas for a in {r, i ,c, s} pseudos. The goal of this task is to make sure that store(select) pattern assuming single use of select is expanded into add val_false, r0, stack, add val_true, r0, stack. It's recommended to start with tests to check that the issue is still present and then design a solution for it. It's not necessary the best approach to introduce pseudos, perhaps combining after select expansion would work better. Note that in the past we tried to naively enable pattern on the selection DAG w.o. checking for single use of select, it resulted in wrong code generation.