Sounds like plenty of problems to me.
I do not have many issues with crashing software. Not sure why some seem to have a lot and others not hardly at all. Maybe it is specific operations in the software that some use more than others.
As for the training there are several options. One important one is the fact that the person who does the seminar training is not a Bobcad employee. He actually uses the software to produce parts on his own equipment. Some very nice stuff too. Sorin has his own help forum as well.
www.cadcamtrainer.com/forums/index.php
He also provides some free training videos but most of them are on the older versions. Not too many produced on the new software yet as he does this for free for his students.
I have not had any problems with verifying tool paths at all. I have yet to have any program do something that does not show up on the verify. I also have the full Preditor option so maybe that helps. Maybe the trouble is in the post. I have a Mazak machine and started with the basic Fanuc post.
As for wasted moves....that comes along with my complaint of boundries...need better options for sure.
Maybe you could post a sample part here and we could try to help.