[RFS] Interface for solver statistics

cc @mlubin @IainNZ 
Yeah, might as well annotate that