feat(analysis): integrate ropey for source code handling in semantic …

[mduthey]

…analysis

Example:

➜ trix check
Error:   × check failed

Error: tx3::not_in_scope

  × not in scope: Receivers
   ╭─[2:13]
 1 │     output {
 2 │         to: Receivers,
   ·             ─────────
 3 │         amount: Ada(quantity),
   ╰────

This solves #142