WalkSAT working

Fixed bugs in WalkSAT, now working correctly.

To Do Next
-Testing Harness and data collection