Extend the contract API with a `verify_entry_points` function

Ticket to address the below requirement;

- The user passes in an EntryPoints struct and a hash of the contract to interrogate, and receives a boolean indicating whether a subset of entry points matches the entry points supplied by the user (structurally - so, comparing names, signatures, etc.).
- Return should be a list of boolean corresponding to each EntryPoint in the EntryPoints in order
- Possible variant: all entry points have to match.

Start by locating the contract API and the EntryPoints struct, then trace how a contract hash is interrogated. Clarify whether the function returns one boolean or an ordered list of booleans, and whether the all-entry-points variant is required. Done means the API behavior and matching rules are specified and covered by tests.

Written by the indexing model from the issue text.