`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

Commencez par inventorier les méthodes sanity_check dans toute la base de code et par examiner la discussion liée de la pull request, y compris l’exemple de documentation concernant les chemins de dépense de Bitcoin. Déterminez quelles méthodes sont appelables depuis l’extérieur et quelles invariantes devraient plutôt être garanties par le système de types ; le travail sera considéré comme terminé lorsque l’API n’exposera plus de vérifications inappropriées et que la validité des objets sera gérée de manière cohérente.