Remove DIY bitset filter implementation in tableau rules
Currently, many old tableau rule implementations rolled their own filter implementation. this should be unified with the now-existent filterBS
function to slim down the code and avoid duplication.