Proper testing for translator

[maramihali]

We are missing tests that ensure the translator fails when it should fail, proper translator transcript tests and failing tests for the translator recursive verifier due to the fact that we don't yet have deserialise and serialise methods for the translator transcript (or a shared version of translator and eccvm transcript).