TerminationRequest was ignored after propagation.

This commit adds a second check for user requested termination in the main solver loop after all propagations are handled.
Fixed cut creator.

The cut creator did not ensure that all columns were positive.  This commit fixes this issue which causes a non-termination on some integer examples.