implement sequential strong rules with an ever_active set.
clean things up a bit.
forgot to remove th etol breaks here. these prevented
convergence in the Fat and Skinny solvers...