It’s been 18 years since DAC last visited Las Vegas, and a lot has happened in verification during this period….