copy dev/dot.elf to test22a.elf
further relax tselx-rec
These are the queries needing R1 != R2 in sub-tp/refl.

And they cannot be derived without the lax sub-tp/refl -- they actually
fail, not hang.

cc @TiarkRompf