[DRAFT] Non-Boolean conditional pass

[tob-joe]

This includes:

• An updated constant-propagation implementation that adds support for tracking uncertainty about the exact value (e.g. Boolean(None), which is definitely boolean but doesn't have a known exact value)
• A new analysis that finds conditionals that expect boolean values but are being passed not-definitely-boolean values
• The flake.nix that pulls in rust 1.65.0 for development

Things are a little sloppy and I have not tested the new features properly so I'm leaving it as a draft for now.

[CLAassistant]

Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you all sign our Contributor License Agreement before we can accept your contribution.
1 out of 2 committers have signed the CLA.

✅ fegge
❌ tob-joe
_{You have signed the CLA already but the status is still pending? Let us recheck it.}