restructure maxsmt solvers, flatten weighted/non-weighted versions, fix bugs and simplify mus/max-res

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>