Add exhaustiveness checking for independence contracts

[seddonym]

It would be great if we could check exhaustively for independence contracts, like we do in layers contracts.

Not sure exactly what this would look like though. If an independence contract is exhaustive we shouldn't need to list any of the modules, just the containing package. Suggestions welcome!