Why is automated verification valuable?