Initial add of "blacklist" feature for highstate (#3243)