I couldn't agree more. One of the wonderful things about Verification is that it's partly an
"art". We have a rich toolbox of options for which scope to verify (anything from small sub-units to entire system-levels) and how to verify (from code-reviews, formal property checks, simulation, emulation etc.). This, coupled with randomness and self-checking-ness of the stimulus verification environments, and basically that there are infinite things we could do to verify any given design makes a really neat set of options on how to approach each project.
The important thing is not to get locked in to a concept (even if it is more "advanced" than other concepts.)