We should run an ad hoc test under semi-realistic conditions which counts how many times VerificationKey::address_bytes is a repeated call on a VerificationKey instance. In other words, if we only ever call this once per instance, the total will be zero. If we call it exactly thrice per instance, the total will be twice the number of instances.

Once we have this information, we can decide whether to implement memoization of the address bytes as a field in the verification key, or leave as is.

┆Issue Number: ENG-696