Do they need to higher Design Verification engineers for this?

Thats a huge cost compared to the average RTL jockey

ARM already had tons of DV engineers. No company would license the RTL or any IP unless it has already been run through millions of simulations in DV.