Is it safe to solder wires to via on builtin_rx/tx?

You are correct. Pins A0 to A5 have values of 18 to 23 on the Leo. So, the correct number of pins, just the wrong pin numbers

Personally I have never seen the attraction of using the pin numbers rather than their names