SOSP improvements

[JustusAdam]

What Changed?

• Improves soundness of marker assignment logic.
• Refactors the graph constructor into it's own file
• The Graph query API is now accessible as methods on nodes
• Implements adaptive inlining optimization
• Improves error messages from parse failures for the annotations
• Switches output serialization format to bincode by default
• Adds a new framework and suite of tests based on the policy framework
• Adds tracing to always_happens_before
• Generics on entry points are now handled by providing arguments of type dyn <constraints>
• Adds statistics on runtime to flow analyzer and policies
• Materialized flows_to relations are now optional
• Diagnostics are now deduplicated

Why Does It Need To?

Improves soundness, ergonomics and speed.

Fixes #129
Fixes #130

Checklist

• Above description has been filled out so that upon quash merge we have a
  good record of what changed.
• New functions, methods, types are documented. Old documentation is updated
  if necessary
• Documentation in Notion has been updated
• Tests for new behaviors are provided
  • New test suites (if any) ave been added to the CI tests (in
    .github/workflows/rust.yml) either as compiler test or integration test.
    Or justification for their omission from CI has been provided in this PR
    description.