[audit][medium] check_subtree_exists omits ProvableCountProvableSumTree

[QuantumExplorer]

Created from a Codex audit of grovedb. No code changes were made as part of the audit.

Summary

check_subtree_exists does not include the ProvableCountProvableSumTree tree type.

Impact / failure scenario

APIs that validate parent paths through this helper can reject valid paths beneath ProvableCountProvableSumTree.

References

• grovedb/src/operations/get/mod.rs:405
• grovedb/src/operations/is_empty_tree.rs:38
• grovedb/src/operations/delete/mod.rs:584

Suggested fix

Add the missing match arm for ProvableCountProvableSumTree.

Suggested tests

Test is_empty_tree and validated delete traversal under this tree type.