Make simplification with TOP more aggressive

[hermanventer]

Description

Make simplification rules involving TOP include typed variables whose values are not known.

Also pick up a new configuration for including Z3.

Type of change

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• API change with a documentation update
• Additional test coverage
• Code cleanup or just keeping up with the latest Rustc nightly

How Has This Been Tested?

./validate.sh

[codecov]

Codecov Report

Merging #1244 (660389f) into main (9b2ceeb) will decrease coverage by 1%.
The diff coverage is 100%.

@@          Coverage Diff          @@
##            main   #1244   +/-   ##
=====================================
- Coverage     74%     74%   -1%     
=====================================
  Files         23      23           
  Lines      16807   16827   +20     
=====================================
+ Hits       12552   12563   +11     
- Misses      4255    4264    +9     

Files	Coverage Δ
checker/src/abstract_value.rs	76% <100%> (-1%)	⬇️
checker/src/body_visitor.rs	84% <100%> (+<1%)	⬆️
checker/src/path.rs	83% <100%> (-1%)	⬇️
checker/src/type_visitor.rs	76% <100%> (+<1%)	⬆️

... and 1 file with indirect coverage changes

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more