add high-level function to validate a merkle set proof

[arvidn]

• expose confirm_included_already_hashed() and confirm_not_included_already_hashed() to python.
• make deserialize_proof() private and not exposed to python
• extend tests, benchmark and fuzzer to cover the new function

The long term goal is to make validation of a proof not necessarily create MerkleSet object (or if it does, it's an implementation detail).

[coveralls-official]

Pull Request Test Coverage Report for Build 8801260319

Details

• 31 of 32 (96.88%) changed or added relevant lines in 2 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage increased (+0.02%) to 85.076%

---

Changes Missing Coverage	Covered Lines	Changed/Added Lines	%
crates/chia-consensus/src/merkle_tree.rs	12	13	92.31%

Totals
Change from base Build 8800936962:	0.02%
Covered Lines:	11738
Relevant Lines:	13797

---

💛 - Coveralls