Do you have children with your stbx? If so, I would go with option #2. You may be able to tie his having to attend anger management classes into his being allowed to see the kid(s) overnight or unsupervised.

Which way would be quicker, if there are no kids, in ending your marriage? That is the way to go, in my opinion.

BTW, I think you should press charges against him. If he is convicted, that will be a bigger red flag than what you put in a divorce decree. And he may actually be ordered to attend classes to help him stop being an abuser. And he would have a criminal record following him whereever he goes.