Add alternative complexity for diagfrob.
Remove the "Teichmueller modulus" part.