Runtime capabilities check pass (#1291)

This change introduces an FIR pass that checks whether a program can run
on a target with specific capabilities.

Part of the change also improves RCA so we can provide less noisy error
messages.

---------

Co-authored-by: Stefan J. Wernli <swernli@microsoft.com>

Author: cesarzc

Cargo.lock

@@ -11,14 +11,18 @@ license.workspace = true
 [dependencies]
 miette = { workspace = true }
 qsc_data_structures = { path = "../qsc_data_structures" }
+qsc_fir = { path = "../qsc_fir" }
 qsc_frontend = { path = "../qsc_frontend" }
 qsc_hir = { path = "../qsc_hir" }
+qsc_rca = { path = "../qsc_rca" }
 rustc-hash = { workspace = true }
 thiserror = { workspace = true }
 
 [dev-dependencies]
 expect-test = { workspace = true }
 indoc = { workspace = true }
+qsc = { path = "../qsc" }
+qsc_eval = { path = "../qsc_eval" }
 
 [lints]
 workspace = true