Add an end-to-end example of Brayvi-Kitaev encoding

[wavefunction91]

Our only full end-to-end example for e.g. QPE is Jordan-Wigner. We need a demonstration that shows other encodings in an end-to-end example