This commit makes `cargo test -p verification` work again, by using `common-types` with the `test-helpers` feature