refactor: removed dead code (#40)

[vijaykarthiktk]

Description

This pull request removes the verify function in BinaryIMT.sol since it is a private function and is not referenced anywhere in the file, rendering it as dead code. Removing unused code improves the maintainability and readability of the contract

Related Issue(s)

Closes #40

Checklist

• My code follows the style guidelines of this project.
• I have performed a self-review of my code.
• My changes generate no new warnings.
• I have run yarn format and yarn compile without getting any errors.
• New and existing unit tests pass locally with my changes.