Everyone is moving away from G-code verification. Somewhere in me, I have a long nerd rant about this, but G-code sim (and CAMPlete) are not actually verifying anything - they are another abstraction layer.
What users have always *really* been after is kinematic/machine motion in their simulation.
Fusion Machine Sim and NX Machine Powered Programming (and Esprit, who was sort of first here) are skipping the complex g-code verification step and just putting the machine model into the primary programming and tool path visualization environment. Faster, cleaner, easier... and it enables a bunch of neat tricks when the main CAM environment can accurately manipulate tool path around the kinematics, instead of figuring that out after the fact in the post.