Move ExplanationTest and include proof size comparison