Adding has bound counts and tracking for rows.
Draft of the new propagation code.
Making propagation more conversative.
Working on the new explanation system.
* splitLemma to request atoms
* normalizing in bv before bitblasting
Adding quick explain for soi simplex.
Merge branch 'fcexplanations'
Merging branch 'soiquickexplain'.
Fixing a debug typo.