You can just use QEMU. It has RVA23 support and is probably still faster and easier than using actual machines.
You are right though that QEMU is probably faster than anything only capable of RV64GC (lacking RVA23). So QEMU would probably be a great option for the CPython team.