I think I understand at a high level the goals of both CheckTemplateVerify (CTV, BIP 119) and the Sapio language.
Is there anything specific to the design of the Sapio language that makes it well suited to writing covenant scripts? Other than being a high level language like Minsc that eventually compiles down to Miniscript?
To use Sapio for CTV scripts, both Miniscript and Script have to support CTV. So is there a test environment (e.g. signet or sidechain) where CTV is enabled for both Miniscript and Script?