+/-tck #141 removes 3.17 verification from subVer yet adds more to pubVer

As the 3.17 rule checking was included in both publisher and subscriber
verification the one in the SubscriberWhiteboxVerification can be safely
removes as it was testing the helperPublisher (user provided, but not
core of this test). The PublisherVerification however did not check for
the overflow scenario properly, which this PR addresses.

Noticed by @alkemist
Resolves #141