integration tests for verification-check mojo