Update samples for circuit compatibility, relax RCA dynamic string checks

[swernli]

This change updates the samples for more circuits compatibility (as well as QIR generation for Adaptive) where needed. It enables some of this via a relaxation of RCA checks on dyanmic strings by avoiding marking the program as requiring the string capability just because of a dynamic string. Since Q# strings can only be concatenated and copared for equality, only the latter can affect program control flow and output. So the capability is now associated with the use of equality comparison on dynamic strings, enabling programs that use Message with interpolated strings to now successfully generate RIR for circuits and QIR codegen.

In addition, this change adds new expect-based tests for the samples that verify both the circuit generation and the QIR generation. This fixes #2442.

Note for reviewers: only the following files have production changes, the rest are updates to test snapshots or test infra

• Updates to some samples under samples/algorithms and samples/getting_started
• source/compiler/qsc_partial_eval/src/lib.rs
• source/compiler/qsc_rca/src/core.rs

[swernli]

I'm going to take a crack at tweaking the string display for circuits to make this a bit smaller.