`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

Bắt đầu bằng cách lập danh mục các phương thức sanity_check trong toàn bộ codebase và xem lại phần thảo luận của pull request được liên kết, bao gồm cả ví dụ trong tài liệu về các đường dẫn chi tiêu Bitcoin. Xác định những phương thức nào có thể được gọi từ bên ngoài và những bất biến nào thay vào đó nên được hệ thống kiểu thực thi; công việc được xem là hoàn tất khi API không còn để lộ các kiểm tra không phù hợp và tính hợp lệ của đối tượng được xử lý nhất quán.