refactor information checking (and assorted tests)

Information checking does not need to know the underlying secret sharing
algorithm (at least for now) -- so just pass in n and k.

The test case now just creates one valid share (through RabinIDS) and
checks this until shares with a total of TEST_SIZE "unencoded" secret
data was processed.