#57, #55 Update inclusion proof verification, add cbor tags

[martti007]

No description provided.

[gemini-code-assist]

Code Review

This pull request performs a major refactoring of the SDK, introducing InclusionCertificate and ShardId while standardizing CBOR tagging and versioning across API components. The Merkle tree implementation was moved to a new smt package and updated to a radix-based approach. Review feedback identifies a high-severity bug in the popcount logic of InclusionCertificate caused by signed byte extension. Furthermore, improvements are needed for the equals and hashCode implementations in CertificationData and InclusionProof to ensure consistency and reliability in hash-based collections.

[MastaP]

Three blocking equals/hashCode issues (inline) plus one cleanup item: src/main/java/org/unicitylabs/sdk/api/bft/verification/rule/InputRecordCurrentHashVerificationRule.java is left as a 0-byte file rather than removed. Please git rm it — its check is now folded into InclusionProofVerificationRule.verify (line 63), so the empty source file just adds confusion.