Executable is in dist/verify_ruleset
Usage is ./verify_ruleset dataset_filename ruleset_filename [without]
use the without keyword to indicate if the rule file is without negation, leave blank for rulesets with negation
This should work cross-platform as it was created using pyinstaller, but I haven't been able to test it outside of macOS