Adding has bound counts and tracking for rows.
Draft of the new propagation code.
Making propagation more conversative.
Working on the new explanation system.
Adding quick explain for soi simplex.
Merge branch 'fcexplanations'
Merging branch 'soiquickexplain'.
Fixing a debug typo.