Moar tests

Added tests, and fixed Solver to work with the test provided by Ashu. One change to note is that the solver will now select Artificial variables as leaving variables whenever possible.