feat(verifier): update bytecode comparison methods to the approach based on transformations

[rimrakhimov]

Currently verifier uses comparison method which supports only cborAuxdata parts to be different. This prevent us from verifying contracts where the libraries were manually linked or genesis contracts where immutable variables exist.

We need to make use of transformation based approach introduced during verifier alliance discussions. That will allow us support all those corner cases.