Compiler warning cleanup
Replacing calls to Solution::get() with indexer access.
Added more benchmarks
Tests & doco updates
Wrapped the solve state stack in its own type to reduce boilerplate
everywhere