Comparing the EVM and AltVMs