I want a version of shakeRunDatabase that takes in a set of rule keys to use as a dirtiness seed. Shake should then rerun only these rules and anything that depends on them, and assume that all other rule keys haven't changed.

The expected Shake overhead should be proportional to the number of rules dirtied and not to the number of rule dependencies.

It is ok if a Shake option is needed to enable this functionality and results in a higher space/time overhead in other operations