Adding an example using raw bytecodes to equivalence checking tutorial

Adding an example using raw bytecodes to equivalence checking tutorial #3087