Add tests for checking that ECCVM, Translator recursive verifiers and Tube circuit have fixed VK

[lucasxia01]

Need a test to ensure this is true so there's a fixed VK.