Remove option for conflict clause minimization

Conflict clause is always minimized by deep minimization.
Remove method releaseVar from class Solver