`sanity_check` methods throughout the codebase shouldn't be part of the API

Actually I'll just file an issue. There are a lot of sanity_check methods in the code, many of which are not called from within the library, and at least one has a doc example suggesting to use it to check "whether all spend paths are accessible in the Bitcoin network".

So we need to re-assess all these functions and see if they can be pulled into the type system somehow so you simply can't create the objects without running the (non-pub) methods.

Originally posted by @apoelstra in https://github.com/rust-bitcoin/rust-miniscript/pull/652#discussion_r1514517762

Beginne damit, die sanity_check-Methoden im gesamten Codebestand zu inventarisieren und die verknüpfte Pull-Request-Diskussion einschließlich des Dokumentationsbeispiels zu Bitcoin-Ausgabepfaden zu prüfen. Ermittle, welche Methoden extern aufrufbar sind und welche Invarianten stattdessen vom Typsystem erzwungen werden sollten; abgeschlossen ist die Aufgabe, wenn die API keine unangemessenen Prüfungen mehr offenlegt und die Gültigkeit von Objekten konsistent behandelt wird.