Split Provider & Solver out into their own sections in README.md