Full implementation of Simplex termination.

TODO
- Implement basis switching!