Renaming polarity flipping multiplier
Removing outdated comment
Better VERBOSE_DEBUG message
Different calculation for flipping dec. polarity, fixing stat
Removing useless comment
Don't update decision var polarity -- flipped polars won't be saved
Increase random polar flipping frequency