@azonenberg Definitely give it a try, never not a good reason to also have ARM64 support.
Regarding performance, my M4 Mini is giving a lot of Ryzen boxes a run for their money in Vivado synthesis (in a Linux VM, ‘emulating’ x86 via Rosetta). The single core perf is that good and virtualization is seamless.
UTM is stable, and also has a server for managing VMs via an API.