[RFS] Interface for solver statistics

cc @mlubin @IainNZ