Testing

My optimal-solver tests all passed for a solver that was not optimal

Eight green tests, including two property tests. Every one of them also passed a stub that returned any valid answer.