Context

This MR will add refutation tests for the Arithmetic PVM.

General test without receiving inputs
Tests that receive inputs.

Manually testing the MR

dune exec src/proto_alpha/lib_protocol/test/pbt/refutation_game_pbt.exe

Edited Apr 25, 2022 by corneliuhoffman