Add iteration control mechanism and provide default based on residuals.

This closes #44 and goes part way to closing #43.  We can add more flexibility to norms etc in 0.4.0.
How about a monad? You're right though, I'm not too fond of this...