Remove testProtocolVersion from protocoltest
This test was crucial back when the Protocol implementation was written manually. Now that the Protocol code is generated, the chance of random breakage is much smaller.