fix: remove slice, list, set, dict, tuple from Z3 conversion #294

All 678 tests pass in 39m 10s

3 files ±0 3 suites ±0 39m 10s ⏱️ +10s
678 tests ±0 678 ✅ + 8 0 💤 ±0 0 ❌ - 8
1 992 runs ±0 1 992 ✅ +24 0 💤 ±0 0 ❌ - 24

Results for commit 9dc90ec. ± Comparison against earlier commit aa77c08.