Add Bud option to print # of rules, pre- and post-rewrites.