Check filtering and parameterizing features

[l-monninger]

Summary

Checks like global-storage-includes essentially map a criterion over the entirety of the ledger. This makes sense when the migration is not intended to in fact mutate anything. However, ultimately, framework upgrade migrations will necessarily change state.

For this, and possibly unforeseen other reasons, these naively written checks need to be parameterized—allow for filtering, modulating, etc.