verb=3 in als_adapt_solve now stands for tests of convergence (returns
conv. history)