Fix tests and add some. Add GurobiIPDecoder. Improve iterative decoding speed.