Add redundant presolve for redundant constraints

[ynadji]

I went ahead and followed the recommendations from #15 and used the swapping approach. I also added a test from the problem that failed for me before. Let me know if you'd like to see any other changes.