[RFC] Interface for solver statistics

cc @mlubin @IainNZ 
What does this mean, precisely? Is this a parameter of the algorithm or a property of the solution?