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.