Shark should fail if block doesn't generate one of the specified outputs

[mdales]

At the moment we only check if one the expected outputs of a block happens at time of consumption in a later block, which means you fail late rather than early, which can be somewhat annoying. The current error messages do make it clear what happened, but it's not ideal to have to wait so long when in theory we knew this before.