WIP: Extend dataflow analysis to handle reachability

[acl-cqc]

TODO:

• Tests!
• panic returns Bottom everywhere
• Populating inputs to a toplevel function needs to mark the FuncDefn as reachable
• What about panic or TailLoop's whose result isn't used - can containing DFG terminate? Suggests "DFG Output-node-inputs are not propagated to DFG-outputs if ANY node in the DFG has a Bottom output"

[hugrbot]

Hey there and thank you for opening this pull request! 👋

We require pull request titles to follow the Conventional Commits specification
and it looks like your proposed title needs to be adjusted.

Your title should look like this. The scope field is optional.

<type>(<scope>): <description>

If the PR includes a breaking change, mark it with an exclamation mark:

<type>!: <description>

and include a "BREAKING CHANGE:" footer in the body of the pull request.

Details:

Unknown release type "WIP" found in pull request title "WIP: Extend dataflow analysis to handle reachability". 

Available types:
 - feat
 - fix
 - docs
 - style
 - refactor
 - perf
 - test
 - ci
 - chore
 - revert